Boolean-like algebras

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

• On semi-Boolean-like algebras.
• scientific article; zbMATH DE number 554981
• Boolean constructions in universal algebra
• Boolean products of indecomposables.
• Introducing Boolean Semilattices

zbMATH Keywords

discriminator varietyBoolean-like algebradouble-pointed variety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Generalizations of Boolean algebras (06E75)

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)