L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, Journal of Logic and Computation, 2014, Volume 24, Issue 1, Pages 257

Journal of Logic and Computation

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Journal of Logic and Computation, 2014, Volume 24, Issue 1, Pages 257–282
DOI: https://doi.org/10.1093/logcom/exs018 (Mi jlc1)

This article is cited in 15 scientific papers (total in 15 papers)

Propositional primal logic with disjunction

L. Beklemishev^a, Yu. Gurevich^b

^a Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia
^b Microsoft Research, One Microsoft Way, Redmond, USA

Full-text PDF Citations (15)

DOI: https://doi.org/10.1093/logcom/exs018

Funding agency	Grant number
Russian Foundation for Basic Research
Swiss National Science Foundation
Microsoft	DKAL
Supported by Microsoft project DKAL, Russian Found. for Basic Research and Swiss-Russian coop. program STCP-CH-RU, project 'Computational proof theory'.

Received: 30.05.2011

Bibliographic databases:

Document Type: Article

Language: English

Linking options:

https://www.mathnet.ru/eng/jlc1

This publication is cited in the following 15 articles:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles