Gentzen-style sequent calculus for semi-intuitionistic logic

DOI10.1007/s11225-016-9675-yzbMath1417.03126OpenAlexW2416395567MaRDI QIDQ514513

Yong-Cai Geng, Sumit K. Garg

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9675-y

zbMATH Keywords

Heyting algebrassequent calculusintuitionistic logicsemi-Heyting algebrassemi-intuitionistic logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Intuitionistic logic is a connexive logic ⋮ Semi-Heyting Algebras and Identities of Associative Type

Cites Work

• Unnamed Item
• Unnamed Item
• The variety generated by semi-Heyting chains
• The semi Heyting-Brouwer logic
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Semi-intuitionistic logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Synonymous logics
• A survey of abstract algebraic logic
• Untersuchungen über das logische Schliessen. I
• On some semi-intuitionistic logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Free-decomposability in varieties of semi-Heyting algebras
• Algebraizable logics

This page was built for publication: Gentzen-style sequent calculus for semi-intuitionistic logic