4 results
ON EQUATIONAL COMPLETENESS THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1522-1575
- Print publication:
- December 2022
-
- Article
- Export citation
Syllogistic logic with “Most”
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 6 / June 2019
- Published online by Cambridge University Press:
- 13 March 2019, pp. 763-782
-
- Article
- Export citation
SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 05 June 2018, pp. 1-22
- Print publication:
- March 2020
-
- Article
- Export citation
A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 341-358
- Print publication:
- March 2015
-
- Article
- Export citation