Semi-de Morgan algebras
From MaRDI portal
Publication:3764195
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
Heyting algebrasprincipal congruencesaxiomatizationsStone algebrasOckham algebrassemi-De Morgan algebrasalmost p-latticesdemi-p- latticesdistributive pseudocomplemented latticestheorem of Glivenko
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
