scientific article
From MaRDI portal
Publication:3605557
zbMath1175.06003MaRDI QIDQ3605557
Hanamantagouda P. Sankappanavar
Publication date: 24 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebrasvarietyequational basissubdirectly irreduciblesemi-Heyting algebrasdirectly indecomposable
Heyting algebras (lattice-theoretic aspects) (06D20) Pseudocomplemented lattices (06D15) Varieties of lattices (06B20) Subdirect products and subdirect irreducibility (08B26)
Related Items (21)
A note on regular De Morgan semi-Heyting algebras ⋮ Semi-Heyting algebras term-equivalent to Gödel algebras ⋮ Semi-Nelson algebras ⋮ A note on chain‐based semi‐Heyting algebras ⋮ On self‐distributive weak Heyting algebras ⋮ Intuitionistic logic is a connexive logic ⋮ Angell and McCall meet Wansing ⋮ Sub-Hilbert lattices ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ On congruences in weak implicative semi-lattices ⋮ The variety generated by semi-Heyting chains ⋮ The semi Heyting-Brouwer logic ⋮ Semi-intuitionistic logic with strong negation ⋮ Gentzen-style sequent calculus for semi-intuitionistic logic ⋮ \(l\)-hemi-implicative semilattices ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ A categorial equivalence for semi-Nelson algebras ⋮ On relative principal congruences in term quasivarieties ⋮ On some semi-intuitionistic logics
This page was built for publication:
