Gentzen-style sequent calculus for semi-intuitionistic logic
DOI10.1007/S11225-016-9675-YzbMATH Open1417.03126OpenAlexW2416395567MaRDI QIDQ514513FDOQ514513
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
Recommendations
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)
Cites Work
- Untersuchungen über das logische Schliessen. I
- Residuated lattices. An algebraic glimpse at substructural logics
- A survey of abstract algebraic logic
- Algebraizable logics
- Title not available (Why is that?)
- Expansions of semi-Heyting algebras. I: Discriminator varieties
- The variety generated by semi-Heyting chains
- Synonymous logics
- On some semi-intuitionistic logics
- Semi-Heyting algebras term-equivalent to Gödel algebras
- The semi Heyting-Brouwer logic
- Semi-intuitionistic logic
- The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
- Free-decomposability in varieties of semi-Heyting algebras
Cited In (13)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- Gentzen-like systems for partial propositional calculi. I. II
- A Gentzen-style sequent calculus of constructions with expansion rules
- Generalized DEL-Sequents
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
- Gentzen sequent calculi for some intuitionistic modal logics
- Sequent Calculus for Intuitionistic Epistemic Logic IEL
- Semi-Heyting Algebras and Identities of Associative Type
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- A Gentzen-type calculus of sequents for single-operator propositional logic
- Semi-intuitionistic logic
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
- Intuitionistic logic is a connexive 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)
