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

Publisher： Cambridge University Press

E-ISSN： 1943-5886|32|1|75-80

ISSN： 0022-4812

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

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 cut-free Gentzen-type system for the modal logic S51

By  

The Journal of Symbolic Logic, Vol. 45, Iss. 1, 1980-03 ,pp. : 67-84

Cambridge University Press

Access to resources Recommend Favorite

Quantum logic and the classical propositional calculus

By  

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

Cambridge University Press

Access to resources Recommend Favorite

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

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