Abstract
We give a Gentzen-type formulation GQ for the intermediate logic LQ and prove the cut-elimination theorem on it, where LQ is the propositional logic obtained from the intuitionistic propositional logic LI by adding the axioms of the form ℸ AV ℸℸ A.
Similar content being viewed by others
References
B. R. Boričić, A cut-free Gentzen-type system for the logic of the weak law of excluded middle, Studia Logica 45 (1986), pp. 39–53.
G. Gentzen, Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39 (1934–5), pp. 176–210, 405–431.
T. Hosoi, Pseudo two-valued evaluation method for intermediate logics, Studia Logica 45 (1986), pp. 3–8.
S. C. Kleene, Introduction to Metamathematics, D. Van Nostrand, Toronto and New York, 1952.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hosoi, T. Gentzen-type formulation of the prepositional logic LQ . Stud Logica 47, 41–48 (1988). https://doi.org/10.1007/BF00374051
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00374051