How to augment a formal system with a Boolean algebra component

MaRDI QIDQ2702596zbMATH OpenFDO

Authors Jana Köhler, Hans Jürgen Ohlbach

Publication date 3 September 2001

zbMATH Keywords

atomic decompositioncombinations of formal systems with a Boolean algebra componentpropositional reasoningreasoning about Boolean algebras

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 49082
• Boolean algebras arising from information systems
• scientific article; zbMATH DE number 2090051
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 1533821

This page was built for publication: How to augment a formal system with a Boolean algebra component

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