Expansions of semi-Heyting algebras. I: Discriminator varieties

DOI10.1007/s11225-011-9322-6zbMath1254.06006OpenAlexW2090789107MaRDI QIDQ763318

Hanamantagouda P. Sankappanavar

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-9322-6

zbMATH Keywords

discriminator varietycongruencenormal filtersemi-Heyting algebrablended \(\vee\)-De Morgan lawDe Morgan semi-Heyting algebradouble semi-Heyting algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subdirect products and subdirect irreducibility (08B26)

Related Items (12)

Free-decomposability in varieties of semi-Heyting algebras ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ Semi-Nelson algebras ⋮ 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 semi Heyting-Brouwer logic ⋮ 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

Uses Software

• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The variety generated by semi-Heyting chains
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• A discriminator variety of Heyting algebras with involution
• Heyting algebras with dual pseudocomplementation
• Subdirectly irreducible double Heyting algebras
• A subdirectly irreducible double Heyting algebra which is not simple
• Subdirectly irreducible pseudocomplemented De Morgan algebras
• Discriminator varieties and symbolic computation
• P-algebras, an abstraction from Post algebras
• An algebraic approach to non-classical logics
• The determination congruence on double p-algebras
• Distributive lattices with an additional unary operation
• The structure of distributive double p-algebras. Regularity and congruences
• On closed elements in closure algebras
• Pseudocomplemented Okham and Demorgan Algebras
• Semi-de Morgan algebras
• Heyting Algebras with a Dual Lattice Endomorphism
• Sheaf Constructions and Their Elementary Properties
• Quasi‐Stone algebras
• Algebras Whose Congruence Lattices are Distributive.
• Logic with truth values in A linearly ordered heyting algebra
• Free L-algebras
• The Lattice Theory of Post Algebras
• Lattices With Involution
• The separation theorem of intuitionist propositional calculus
• Topological representations of distributive lattices and Brouwerian logics
• Some theorems about the sentential calculi of Lewis and Heyting
• Subdirectly irreducible distributive double p-algebras

This page was built for publication: Expansions of semi-Heyting algebras. I: Discriminator varieties