The undecidability of the disjunction property of propositional logics and other related problems

Publisher： Cambridge University Press

E-ISSN： 1943-5886|58|3|967-1002

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.58, Iss.3, 1993-09, pp. : 967-1002

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property1

By  

The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. : 67-78

Cambridge University Press

Access to resources Recommend Favorite

The Projective Beth Property and Interpolation in Positive and Related Logics

By Maksimova L.  

Algebra and Logic, Vol. 45, Iss. 1, 2006-01 ,pp. : 49-66

Springer Publishing Company

Access to resources Recommend Favorite

On intermediate propositional logics

By  

The Journal of Symbolic Logic, Vol. 24, Iss. 1, 1959-03 ,pp. : 20-36

Cambridge University Press

Access to resources Recommend Favorite

LOGICS FOR PROPOSITIONAL CONTINGENTISM

By  

Review of Symbolic Logic, Vol. 10, Iss. 2, 2017-03 ,pp. : 203-236

Cambridge University Press

Access to resources Recommend Favorite

On theories with the general disjunction property

By Kapetanović M.  

algebra universalis, Vol. 57, Iss. 1, 2007-08 ,pp. : 127-129

Springer Publishing Company

Access to resources Recommend Favorite