A Function Elimination Method for Checking Satisfiability of Arithmetical Logics

DOI10.3233/FI-2016-1303zbMath1403.03048MaRDI QIDQ2968852

Valentina Castiglioni, Simone Tini, Ruggero Lanotte

Publication date: 22 March 2017

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Mathematics Subject Classification ID

03B70: Logic in computer science

03B10: Classical first-order logic

03B25: Decidability of theories and sets of sentences

03F30: First-order arithmetic and fragments

03C10: Quantifier elimination, model completeness, and related topics