Boolean product representations of algebras via binary polynomials

DOI10.1007/978-3-319-74772-9_12MaRDI QIDQ4586422zbMATH OpenOpenAlexFDO

Authors Antonio Ledda, Francesco Paoli, 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

Church algebrasguard algebrasskew Boolean algebrasweak Boolean product

Mathematics Subject Classification ID

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

Recommendations

• Publication:4889415
• Skew Boolean algebras derived from generalized Boolean algebras
• Boolean products of R0-algebras
• scientific article; zbMATH DE number 2115764
• Boolean representation of bounded BCK-algebras

Cites work

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

Cited in

(6)

• An algebraic theory of clones
• Product form parametric representation of the solutions to a quadratic boolean equation
• scientific article; zbMATH DE number 915938 (Why is no real title available?)
• On noncommutative generalisations of Boolean algebras
• Dual binary discriminator varieties
• The higher dimensional propositional calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586422)