On some semi-intuitionistic logics

DOI10.1007/s11225-014-9568-xzbMath1378.03010OpenAlexW2074934605MaRDI QIDQ2352456

Ignacio Darío Viglizzo, Juan Manuel Cornejo

Publication date: 2 July 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9568-x

zbMATH Keywords

Heyting algebrasintuitionistic logicsemi-Heyting algebrassemi-intuitionistic logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Semi-Nelson algebras ⋮ Intuitionistic logic is a connexive logic ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ The semi Heyting-Brouwer logic ⋮ Semi-intuitionistic logic with strong negation ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ \(l\)-hemi-implicative semilattices ⋮ Semi-Heyting Algebras and Identities of Associative Type

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The variety generated by semi-Heyting chains
• Semi-intuitionistic logic
• An algebraic approach to non-classical logics
• Synonymous logics
• A survey of abstract algebraic logic
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Pseudo-complements in semi-lattices
• On formulas of one variable in intuitionistic propositional calculus