An Axiomatic Approach to the Quantified Argument Calculus

Matteo Pascucci*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)3605-3630
Number of pages26
JournalErkenntnis
Volume88
Issue number8
DOIs
StatePublished - 24 Jan 2022

Keywords

  • Axiomatic method
  • Completeness
  • Logic and natural language
  • Quantified argument calculus

Fingerprint

Dive into the research topics of 'An Axiomatic Approach to the Quantified Argument Calculus'. Together they form a unique fingerprint.

Cite this