Pages that link to "Item:Q5216971"
From MaRDI portal
The following pages link to PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971):
Displayed 6 items.
- A more unified approach to free logics (Q830379) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← 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)