Normalization Issues in Mathematical Representations

DOI10.1007/978-3-540-85110-3_40MaRDI QIDQ5505527zbMATH OpenOpenAlexFDO

Authors Manfred Kerber

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_40

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mechanization of proofs and logical operations (03B35)

Recommendations

• Representation of logic formulas by normal forms.
• scientific article; zbMATH DE number 1885175
• Languages represented by Boolean formulas
• On different structure-preserving translations to normal form
• Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). II

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)

This page was built for publication: Normalization Issues in Mathematical Representations

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