Axiomatizing Boolean differentiation

DOI10.1007/978-3-030-68071-8_4MaRDI QIDQ5157440zbMATH OpenOpenAlexFDO

Authors

Publication date 18 October 2021

Published in Recent Findings in Boolean Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-68071-8_4

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Structure theory of Boolean algebras (06E05) Boolean functions (06E30) Boolean functions (94D10)

Recommendations

• scientific article; zbMATH DE number 4125448
• Differentialoperatoren Über Booleschen Algebren
• Boolean differences for the monotone functions of the algebra of logic
• Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires
• Derivations of Boolean algebras

Cites work

• Boolean calculus of differences
• Boolean differential calculus
• Definability in classes of finite structures
• Differentialoperatoren Über Booleschen Algebren
• Dynamics of infinite-dimensional groups. The Ramsey-Dvoretzky-Milman phenomenon
• Enrichments of Boolean algebras by Presburger predicates
• scientific article; zbMATH DE number 1634465 (Why is no real title available?)
• scientific article; zbMATH DE number 5852773 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• scientific article; zbMATH DE number 1912564 (Why is no real title available?)
• scientific article; zbMATH DE number 2204766 (Why is no real title available?)
• Model Theory

This page was built for publication: Axiomatizing Boolean differentiation

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