Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül

Publisher： Cambridge University Press

E-ISSN： 1943-5886|18|1|63-65

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.18, Iss.1, 1953-03, pp. : 63-65

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

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

ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

By  

Bulletin of Symbolic Logic, Vol. 23, Iss. 2, 2017-06 ,pp. : 181-200

Cambridge University Press

Access to resources Recommend Favorite

A definition of existence in terms of abstraction and disjunction

By  

The Journal of Symbolic Logic, Vol. 22, Iss. 4, 1957-12 ,pp. : 343-344

Cambridge University Press

Access to resources Recommend Favorite

The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic

By Stukachyova M. V.  

Algebra and Logic, Vol. 43, Iss. 2, 2004-03 ,pp. : 132-141

Springer Publishing Company

Access to resources Recommend Favorite

Disjunction and existence under implication in elementary intuitionistic formalisms

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 1, 1962-03 ,pp. : 11-18

Cambridge University Press

Access to resources Recommend Favorite