Quantum logic and the classical propositional calculus

Publisher： Cambridge University Press

E-ISSN： 1943-5886|52|3|834-841

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.52, Iss.3, 1987-09, pp. : 834-841

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

Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

By  

The Journal of Symbolic Logic, Vol. 56, Iss. 4, 1991-12 ,pp. : 1403-1451

Cambridge University Press

Access to resources Recommend Favorite

The metatheory of the classical propositional calculus is not axiomatizable

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 451-457

Cambridge University Press

Access to resources Recommend Favorite

A Gentzen-type calculus of sequents for single-operator propositional logic *

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 1, 1967-06 ,pp. : 75-80

Cambridge University Press

Access to resources Recommend Favorite

Systems of illative combinatory logic complete for first-order propositional and predicate calculus

By  

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

Cambridge University Press

Access to resources Recommend Favorite

Ideographic computation in the propositional calculus

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 3, 1954-09 ,pp. : 169-171

Cambridge University Press

Access to resources Recommend Favorite