Semi-intuitionistic logic

DOI10.1007/S11225-011-9321-7MaRDI QIDQ763323zbMATH OpenOpenAlexFDO

Authors Juan Manuel Cornejo

Publication date 9 March 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9321-7

zbMATH Keywords

intuitionistic logicHeyting algebrassemi-Heyting algebrassemi-intuitionistic logic

Mathematics Subject Classification ID

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 with strong negation
• Gentzen-style sequent calculus for semi-intuitionistic logic
• A reinterpretation of the semilattice semantics with applications

Cites work

• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Metamathematics of fuzzy logic
• The variety generated by semi-Heyting chains

Cited in

(12)

• On some semi-intuitionistic logics
• Semi-Nelson algebras
• Free-decomposability in varieties of semi-Heyting algebras
• Intuitionistic hybrid logic
• Semi-intuitionistic logic with strong negation
• scientific article; zbMATH DE number 6787709 (Why is no real title available?)
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• The semi Heyting-Brouwer logic
• scientific article; zbMATH DE number 6287649 (Why is no real title available?)
• On congruences in weak implicative semi-lattices
• Semi-Heyting algebras and identities of associative type
• Gentzen-style sequent calculus for semi-intuitionistic logic

This page was built for publication: Semi-intuitionistic logic

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