Boolean product representations of algebras via binary polynomials

DOI10.1007/978-3-319-74772-9_12zbMath1459.06011OpenAlexW2794302547MaRDI QIDQ4586422

Francesco Paoli, Antonio Ledda, Antonino Salibra

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10278/3661319

zbMATH Keywords

skew Boolean algebrasweak Boolean productChurch algebrasguard algebras

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Structure theory of algebraic structures (08A05) Generalizations of Boolean algebras (06E75)

Related Items

An algebraic theory of clones ⋮ On noncommutative generalisations of Boolean algebras ⋮ Dual binary discriminator varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean-like algebras
• Actions of Boolean rings on sets
• Data types over multiple-valued logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Skew lattices in rings
• Remarks on Boolean products
• Boolean centre of a universal algebra
• Lattice ordered polynomial algebras
• Skew Boolean algebras and discriminator varieties
• Recent developments in the theory of skew lattices
• Varieties in which the Pierce stalks are directly indecomposable
• The connection of skew Boolean algebras and discriminator varieties to Church algebras
• Representations by algebras of sections over Boolean spaces
• Skew Boolean algebras
• Sheaves of Algebras over Boolean Spaces
• Applying Universal Algebra to Lambda Calculus
• From λ-Calculus to Universal Algebra and Back
• BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
• Varieties of ”If-Then-Else“
• Equational Bases for If–Then–Else
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• A Cayley Theorem for Boolean Algebras
• Sheaf Constructions and Their Elementary Properties
• On algebraic operations in idempotent algebras
• Behavioural reasoning for conditional equations
• Modules over commutative regular rings

This page was built for publication: Boolean product representations of algebras via binary polynomials