Axiomatizing Boolean Differentiation

DOI10.1007/978-3-030-68071-8_4OpenAlexW3110581404MaRDI QIDQ5157440

Unnamed Author

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean calculus of differences
• Differentialoperatoren Über Booleschen Algebren
• Model Theory
• Boolean Differential Calculus
• Enrichments of Boolean algebras by Presburger predicates

This page was built for publication: Axiomatizing Boolean Differentiation