Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic release_f2u5dkv7ufar3mwcd7vbl3coae

Abstract

<jats:title>Abstract</jats:title>Inquisitive first order logic "Equation missing"<!-- image only, no MathML or LaTex --> is an extension of first order classical logic, introducing questions and studying the logical relations between questions and quantifiers. It is not known whether "Equation missing"<!-- image only, no MathML or LaTex --> is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli, 2016). In this paper we define the <jats:inline-formula><jats:alternatives><jats:tex-math>$$\mathsf {ClAnt}$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ClAnt</mml:mi> </mml:math></jats:alternatives></jats:inline-formula>—classical antecedent—fragment, together with an axiomatization and a proof of its strong completeness. This result extends the ones presented in the literature and introduces a new approach to study the axiomatization problem for fragments of the logic.
In application/xml+jats format

Archived Files and Locations