Pages that link to "Item:Q5357329"
From MaRDI portal
The following pages link to A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL (Q5357329):
Displayed 4 items.
- 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)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)