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

Gianluca Grilletti
2021 Journal of Logic, Language and Information  
AbstractInquisitive first order logic "Equation missing" 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" is recursively axiomatizable, even though an axiomatization has been found for fragments of the logic (Ciardelli, 2016). In this paper we define the $$\mathsf {ClAnt}$$ ClAnt —classical antecedent—fragment, together with an axiomatization and a proof of its
more » ... rong 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.
doi:10.1007/s10849-021-09341-y fatcat:f2u5dkv7ufar3mwcd7vbl3coae