Expansions of semi-Heyting algebras. I: Discriminator varieties

DOI10.1007/S11225-011-9322-6zbMATH Open1254.06006OpenAlexW2090789107MaRDI QIDQ763318FDOQ763318

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

congruencediscriminator varietynormal filtersemi-Heyting algebrablended \(\vee\)-De Morgan lawDe Morgan semi-Heyting algebradouble semi-Heyting algebra

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (13)

• A categorial equivalence for semi-Nelson 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
• Free-decomposability in varieties of semi-Heyting algebras
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Semi-Heyting Algebras and Identities of Associative Type
• Discriminator varieties of double-Heyting algebras
• \(l\)-hemi-implicative semilattices
• A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
• The semi Heyting-Brouwer logic
• On congruences in weak implicative semi-lattices
• Gentzen-style sequent calculus for semi-intuitionistic logic

Uses Software

• Prover9
• Mace4

Recommendations

• Title not available (Why is that?) 👍 👎
• A note on regular De Morgan semi-Heyting algebras 👍 👎
• Compact algebras in discriminator varieties 👍 👎
• Discriminator varieties of double-Heyting algebras 👍 👎
• Discriminants of etale algebras and related structures. 👍 👎
• Almost semi Heyting algebras 👍 👎
• Expansions of dually pseudocomplemented Heyting algebras 👍 👎
• Semialgebraic Expansions of C 👍 👎
• De Morgan Semi-Heyting and Heyting Algebras 👍 👎
• Semi-Heyting Algebras and Identities of Associative Type 👍 👎

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

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