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

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

By  

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

Cambridge University Press

Access to resources Recommend Favorite

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

A downward Löwenheim-Skolem theorem for infinitary theories which have the unsuperstability property

By  

The Journal of Symbolic Logic, Vol. 53, Iss. 1, 1988-03 ,pp. : 231-242

Cambridge University Press

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