The separation theorem of intuitionist propositional calculus

DOI10.2307/2964545zbMath0117.25302OpenAlexW2022177274MaRDI QIDQ5727654

Alfred Horn

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964545

zbMATH Keywords

mathematical logic

Related Items (26)

Varieties of algebraic systems and propositional calculi ⋮ On the separation theorem of intermediate propositional calculi ⋮ Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$ ⋮ \(L\)-algebras and three main non-classical logics ⋮ Proof complexity of intuitionistic implicational formulas ⋮ SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION ⋮ Hilbert algebras as implicative partial semilattices ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Unnamed Item ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ On logical systems with implications and theories of algebras ⋮ Equational axioms for classes of Heyting algebras ⋮ Prelinear Hilbert algebras ⋮ On prelinear Hilbert algebras with successor ⋮ Properties of superintuitionistic propositional calculi ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ Separability of normalizable superintuitionistic propositional logics ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Constructive Modalities with Provability Smack ⋮ Algebraic proof of the separation theorem on classical propositional calculus ⋮ An alternative normalization of the implicative fragment of classical logic ⋮ Double-negation elimination in some propositional logics ⋮ On Hilbert algebras generated by the order

Cites Work

• A note on the reduction of Gentzen’s calculus 𝐿𝐽

This page was built for publication: The separation theorem of intuitionist propositional calculus