Pages that link to "Item:Q5216971"
From MaRDI portal
The following pages link to PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971):
Displaying 11 items.
- A more unified approach to free logics (Q830379) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (Q2915051) (← links)
- Aristotle, Logic, and QUARC (Q5208104) (← 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)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)