L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, J. Logic Comput., 2014, Volume 24, Issue 1,Pages <nobr>257

JOURNALS // Journal of Logic and Computation // Archive

J. Logic Comput., 2014, Volume 24, Issue 1, Pages 257–282 (Mi jlc1)

This article is cited in 13 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

Received: 30.05.2011

Language: English

DOI: 10.1093/logcom/exs018

Bibliographic databases: