The following pages link to Aristotle, Logic, and QUARC (Q5208104):
Displaying 8 items.
- Reconciling Aristotle and Frege (Q701301) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- (Q3003830) (← links)
- (Q4269146) (← links)
- (Q4604250) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)