January 24, 2022

An Axiomatic Approach to the Quantified Argument Calculus


The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (
\(\mathsf {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.

January 24, 2022 at 11:21PM

Comments & Reviews

Your email address will not be published. Required fields are marked *