The Boolean solution problem from the perspective of predicate logic

DOI10.1007/978-3-319-66167-4_19zbMath1496.03262arXiv1706.08329OpenAlexW2749841279MaRDI QIDQ1687567

Christoph Wernhard

Publication date: 4 January 2018

Full work available at URL: https://arxiv.org/abs/1706.08329

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Abstract algebraic logic (03G27)

This page was built for publication: The Boolean solution problem from the perspective of predicate logic