The connection of skew Boolean algebras and discriminator varieties to Church algebras

DOI10.1007/s00012-015-0320-9zbMath1332.03011OpenAlexW2004737322MaRDI QIDQ2351516

Antonino Salibra, Karin Cvetko-Vah

Publication date: 23 June 2015

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

Full work available at URL: https://doi.org/10.1007/s00012-015-0320-9

zbMATH Keywords

discriminator varietyChurch algebraskew Boolean algebrafactor congruencedecomposition operation

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subdirect products and subdirect irreducibility (08B26) Generalizations of Boolean algebras (06E75)

Related Items (7)

Free skew Boolean intersection algebras and set partitions ⋮ Boolean product representations of algebras via binary polynomials ⋮ Factor varieties ⋮ Unnamed Item ⋮ My journey into noncommutative lattices and their theory ⋮ On noncommutative generalisations of Boolean algebras ⋮ Dual binary discriminator varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean-like algebras
• A refinement of Stone duality to skew Boolean algebras
• Skew lattices in rings
• Skew Boolean algebras and discriminator varieties
• Recent developments in the theory of skew lattices
• Varieties in which the Pierce stalks are directly indecomposable
• Skew lattices and binary operations on functions
• Skew Boolean algebras
• Rings Whose Idempotents Form a Multiplicative Set
• Internal Decompositions of Skew Lattices
• From λ-Calculus to Universal Algebra and Back
• Stone Duality for Skew Boolean Algebras with Intersections

This page was built for publication: The connection of skew Boolean algebras and discriminator varieties to Church algebras