Software for Quantifier Elimination in Propositional Logic

DOI10.1007/978-3-662-44199-2_45zbMath1434.03009OpenAlexW636337682MaRDI QIDQ2879137

Eugene Goldberg, Panagiotis Manolios

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_45

zbMATH Keywords

quantifier eliminationpropositional logicdependency sequents

Mathematics Subject Classification ID

Classical propositional logic (03B05) Quantifier elimination, model completeness, and related topics (03C10) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)