Semi-intuitionistic logic
From MaRDI portal
Publication:763323
DOI10.1007/s11225-011-9321-7zbMath1273.03040OpenAlexW2094693809MaRDI QIDQ763323
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
Heyting algebras (lattice-theoretic aspects) (06D20) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (9)
Free-decomposability in varieties of semi-Heyting algebras ⋮ Semi-Nelson algebras ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ On congruences in weak implicative semi-lattices ⋮ The semi Heyting-Brouwer logic ⋮ Semi-intuitionistic logic with strong negation ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ On some semi-intuitionistic logics
Cites Work
This page was built for publication: Semi-intuitionistic logic
