Boolean-like algebras
From MaRDI portal
Publication:353355
DOI10.1007/s00012-013-0223-6zbMath1284.06033OpenAlexW2026952722MaRDI QIDQ353355
Antonio Ledda, Antonino Salibra, Tomasz Kowalski, Francesco Paoli
Publication date: 12 July 2013
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10278/34901
Related Items (12)
An algebraic theory of clones ⋮ On some properties of directoids ⋮ Boolean product representations of algebras via binary polynomials ⋮ Factor varieties ⋮ A new view of effects in a Hilbert space ⋮ Quasi-discriminator varieties ⋮ On noncommutative generalisations of Boolean algebras ⋮ Dual binary discriminator varieties ⋮ Coextensive varieties via central elements ⋮ Unnamed Item ⋮ The connection of skew Boolean algebras and discriminator varieties to Church algebras ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Actions of Boolean rings on sets
- Joins and subdirect products of varieties
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Residuated lattices. An algebraic glimpse at substructural logics
- Generalizations of Boolean products for lattice-ordered algebras
- A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
- Remarks on Boolean products
- Equivalential logics. I
- Dynamic algebras: Examples, constructions, applications
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties II: General properties
- On the structure of varieties with equationally definable principal congruences. IV
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- Skew Boolean algebras and discriminator varieties
- Varieties in which the Pierce stalks are directly indecomposable
- On subtractive varieties. IV: Definability of principal ideals
- MV-algebras and quantum computation
- Representations by algebras of sections over Boolean spaces
- Quasi-subtractive varieties
- A Set of Independent Axioms for Boolean Algebra
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Introduction to Boolean Algebras
- Applying Universal Algebra to Lambda Calculus
- From λ-Calculus to Universal Algebra and Back
- Algebraizable logics
- Sheaf Constructions and Their Elementary Properties
- On the degrees of permutability of subregular varieties
- Quasi-discriminator varieties
- On Hoare logic and Kleene algebra with tests
- SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS
This page was built for publication: Boolean-like algebras