Software for Quantifier Elimination in Propositional Logic
From MaRDI portal
Publication:2879137
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
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)