Publisher： Cambridge University Press
E-ISSN： 1943-5886|65|2|788-802
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.65, Iss.2, 2000-06, pp. : 788-802
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We describe a method for obtaining classical logic from intuitionistic logic which does not depend on any proof system, and show that by applying it to the most important implicational relevance logics we get relevance logics with nice semantical and proof-theoretical properties. Semantically all these logics are sound and strongly complete relative to classes of structures in which all elements except one are designated. Proof-theoretically they correspond to cut-free hypersequential Gentzen-type calculi. Another major property of all these logics is that the classical implication can faithfully be translated into them.
Related content
Implicational logics in natural deduction systems
The Journal of Symbolic Logic, Vol. 47, Iss. 1, 1982-03 ,pp. :
Access to resources
Recommend
Truncated Distributive Lattices: Conceptual Structures of Simple-Implicational Theories
By Wille Rudolf
Order, Vol. 20, Iss. 3, 2003-01 ,pp. :
On the decidability of implicational ticket entailment
The Journal of Symbolic Logic, Vol. 78, Iss. 1, 2013-03 ,pp. :
Implicational formulas in intuitionistic logic
The Journal of Symbolic Logic, Vol. 39, Iss. 4, 1974-12 ,pp. :
Postulates for implicational calculi
The Journal of Symbolic Logic, Vol. 31, Iss. 1, 1966-03 ,pp. :