You are not currently logged in.
Access JSTOR through your library or other institution:
Gentzen-Type Formulation of the Propositional Logic LQ
Studia Logica: An International Journal for Symbolic Logic
Vol. 47, No. 1 (Mar., 1988), pp. 41-48
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015344
Page Count: 8
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1988 Springer