Boolean-like algebras
From MaRDI portal
Publication:353355
DOI10.1007/S00012-013-0223-6zbMATH Open1284.06033OpenAlexW2026952722MaRDI QIDQ353355FDOQ353355
Authors: Antonino Salibra, Antonio Ledda, 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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Introduction to Boolean Algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Algebraizable logics
- Representations by algebras of sections over Boolean spaces
- Dynamic algebras: Examples, constructions, applications
- On Hoare logic and Kleene algebra with tests
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties II: General properties
- On subtractive varieties. I
- On subtractive varieties. IV: Definability of principal ideals
- Title not available (Why is that?)
- On the structure of varieties with equationally definable principal congruences. III
- Varieties in which the Pierce stalks are directly indecomposable
- MV-algebras and quantum computation
- Quasi-subtractive varieties
- Joins and subdirect products of varieties
- 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
- On the structure of varieties with equationally definable principal congruences. IV
- Skew Boolean algebras and discriminator varieties
- Title not available (Why is that?)
- A Set of Independent Axioms for Boolean Algebra
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Applying universal algebra to lambda calculus
- From λ-Calculus to Universal Algebra and Back
- Sheaf Constructions and Their Elementary Properties
- Title not available (Why is that?)
- On the degrees of permutability of subregular varieties
- Title not available (Why is that?)
- Quasi-discriminator varieties
- Actions of Boolean rings on sets
- Semigroups with if-then-else and halting programs
Cited In (26)
- The connection of skew Boolean algebras and discriminator varieties to Church algebras
- Comparison of Boolean algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Pseudo-trees and Boolean algebras
- Title not available (Why is that?)
- Constructive Boolean algebras
- BOOLEAN ALGEBRAS IN AST
- Skew Boolean algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algebraic theory of clones
- Boolean product representations of algebras via binary polynomials
- On some properties of directoids
- Quasi-discriminator varieties
- Boolean algebras of conditionals, probability and logic
- Title not available (Why is that?)
- On noncommutative generalisations of Boolean algebras
- Title not available (Why is that?)
- Factor varieties
- Dual binary discriminator varieties
- Playful Boolean Algebras
- Coextensive varieties via central elements
- A new view of effects in a Hilbert space
- On semi-Boolean-like algebras.
- Title not available (Why is that?)
This page was built for publication: Boolean-like algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q353355)