Abstract (may include machine translation)
The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (Quarc), a recently introduced logical system whose main aim is capturing the structure of natural language sentences in a closer way than does the language of classical logic. The main contribution is an axiomatization for the set of formulas that are valid in all standard interpretations within the employed semantics.
Original language | English |
---|---|
Pages (from-to) | 3605-3630 |
Number of pages | 26 |
Journal | Erkenntnis |
Volume | 88 |
Issue number | 8 |
DOIs | |
State | Published - 24 Jan 2022 |
Keywords
- Axiomatic method
- Completeness
- Logic and natural language
- Quantified argument calculus