Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
| Autor: | Gianluca Grilletti |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Linguistics and Language
Semantics (computer science) 010102 general mathematics Classical logic 06 humanities and the arts Extension (predicate logic) 16. Peace & justice 0603 philosophy ethics and religion 01 natural sciences Logical relations First-order logic Antecedent (grammar) Algebra Philosophy Fragment (logic) Completeness (logic) 060302 philosophy Computer Science (miscellaneous) 0101 mathematics Mathematics |
| Zdroj: | Journal of Logic, Language and Information |
| ISSN: | 1572-9583 0925-8531 |
| Popis: | Inquisitive 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 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink