Semi-de Morgan algebras

DOI10.2307/2274359zbMath0628.06011OpenAlexW4238300779MaRDI QIDQ3764195

Hanamantagouda P. Sankappanavar

Publication date: 1987

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274359

zbMATH Keywords

Heyting algebrasprincipal congruencesaxiomatizationsStone algebrasOckham algebrassemi-De Morgan algebrasalmost p-latticesdemi-p- latticesdistributive pseudocomplemented latticestheorem of Glivenko

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Lattice ideals, congruence relations (06B10) Pseudocomplemented lattices (06D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Ockham Algebras with Balanced Demi-pseudocomplementation ⋮ Nodal filters in hoop algebras ⋮ Unnamed Item ⋮ A note on regular De Morgan semi-Heyting algebras ⋮ The Lattice of Congruences on a Subdirectly Irreducible Weak Stone-Ockham Algebra ⋮ Unnamed Item ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ A duality for two-sorted lattices ⋮ Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Representation of finite demi-\(p\)-lattices by means of posets ⋮ Semi-De Morgan algebras ⋮ Prelinearity in (quasi-)Nelson logic ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ 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 ⋮ Demi-pseudocomplemented lattices: Principal congruences and subdirect irreducibility ⋮ Principal congruences of double demi-p-lattices ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Semi De Morgan logic properly displayed ⋮ Ockham algebras with demi-pseudocomplementation ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ Quasi-Nelson algebras ⋮ Quasi-Nelson algebras and fragments ⋮ On ideals and congruences of distributive demi-\(p\)-algebras. ⋮ Ockham Algebras—An Urquhart Legacy