Axiomatizing Boolean differentiation

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

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

Recommendations

• Publication:4205468
• 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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Model Theory
• Dynamics of infinite-dimensional groups. The Ramsey-Dvoretzky-Milman phenomenon
• Title not available (Why is that?)
• Title not available (Why is that?)
• Definability in classes of finite structures
• Enrichments of Boolean algebras by Presburger predicates
• Boolean calculus of differences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Boolean differential calculus
• Differentialoperatoren Über Booleschen Algebren

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)