The structure of distributive double p-algebras. Regularity and congruences

DOI10.1007/BF02945123zbMath0276.08005OpenAlexW2322956382MaRDI QIDQ1393260

Tibor Katrińák

Publication date: 1973

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02945123

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Structure theory of algebraic structures (08A05) Algebraic structures (08Axx)

Related Items (48)

The subvariety lattice of the variety of distributive double p-algebras ⋮ Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Algebras with Boolean and Stonean congruence lattices ⋮ Locally Boolean spectra ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical universality of regular double p-algebras ⋮ Bounded distributive lattices with two subordinations ⋮ Congruence properties of pseudocomplemented De Morgan algebras ⋮ Regular double p-algebras with Stone congruence lattices ⋮ REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS ⋮ The structure of algebraically and existentially closed Stone and double Stone algebras ⋮ Restricted Priestley dualities and discriminator varieties ⋮ Subdirectly irreducibles for various pseudocomplemented algebras ⋮ Subdirectly irreducible double Heyting algebras ⋮ A subdirectly irreducible double Heyting algebra which is not simple ⋮ Local regularity for distributive p-algebras and distributive double p- algebras ⋮ Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications ⋮ Subdirectly irreducible pseudocomplemented De Morgan algebras ⋮ A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions ⋮ Finitely subdirectly irreducible algebras with pseudocomplementation ⋮ On congruence lattices of some p-algebras and double p-algebras ⋮ Equational classes of distributive double p-algebras ⋮ Defining rough sets using tolerances compatible with an equivalence ⋮ Irredundant Coverings, Tolerances, and Related Algebras ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Les treillis pseudocomplémentés finis. (The finite pseudocomplemented lattices) ⋮ Subdirectly irreducible distributive double p-algebras ⋮ Subdirectly irreducible distributive double p-algebras ⋮ Varieties of regular pseudocomplemented De Morgan algebras ⋮ Congruence extension property for distributive double p-algebras ⋮ Unnamed Item ⋮ The determination congruence on double p-algebras ⋮ Essential extensions and injective hulls of double Stone algebras ⋮ Normal double Stone algebras ⋮ Construction of modular double S-algebras ⋮ Congruence pairs on p-algebras with a modular frame ⋮ Some remarks on distributive double p-algebras ⋮ Algebras of incidence structures: representations of regular double p-algebras ⋮ Endomorphism monoids of distributive double p-algebras ⋮ Subdirectly irreducible double p-algebras of finite range ⋮ Expansions of semi-Heyting algebras. I: Discriminator varieties ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Double $p$-algebras with Stone congruence lattices ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Splittings in varieties of logic ⋮ Regularity in double p-algebras ⋮ On subquasivariety lattices of some varieties related with distributive p-algebras

Cites Work

• A regular variety of type \(<2,2,1,1,0,0>\)
• Characterization of the bounded Brouwerian lattices
• The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The structure of distributive double p-algebras. Regularity and congruences