Gentzen-style sequent calculus for semi-intuitionistic logic

DOI10.1007/S11225-016-9675-YMaRDI QIDQ514513zbMATH OpenOpenAlexFDO

Authors 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

intuitionistic logicHeyting algebrassequent calculussemi-Heyting algebrassemi-intuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• On some semi-intuitionistic logics
• The semi Heyting-Brouwer logic
• Semi-intuitionistic logic
• scientific article; zbMATH DE number 5510319
• Semi-intuitionistic logic with strong negation

Cites work

• scientific article; zbMATH DE number 5510319 (Why is no real title available?)
• A survey of abstract algebraic logic
• Algebraizable logics
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Free-decomposability in varieties of semi-Heyting algebras
• On some semi-intuitionistic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Semi-intuitionistic logic
• Synonymous logics
• The semi Heyting-Brouwer logic
• The variety generated by semi-Heyting chains
• The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
• Untersuchungen über das logische Schliessen. I

Cited in

(16)

• Generalized DEL-Sequents
• The semi Heyting-Brouwer logic
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
• On some semi-intuitionistic logics
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Sequent calculi for semi-De Morgan and De Morgan algebras
• Gentzen sequent calculi for some intuitionistic modal logics
• A Gentzen-type calculus of sequents for single-operator propositional logic
• Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
• Gentzen-like systems for partial propositional calculi. I. II
• Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
• A Gentzen-style sequent calculus of constructions with expansion rules
• Intuitionistic logic is a connexive logic
• Semi-Heyting algebras and identities of associative type
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Semi-intuitionistic logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514513)