The following pages link to THE QUANTIFIED ARGUMENT CALCULUS (Q2940869):
Displaying 13 items.
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- Quantitative argumentation debates with votes for opinion polling (Q2092511) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- THE IDENTITY OF ARGUMENT-PLACES (Q3580675) (← links)
- Aristotle, Logic, and QUARC (Q5208104) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL (Q5357329) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- Morphisms between Aristotelian diagrams (Q6621367) (← links)
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition (Q6623814) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)