3 results
MAXIMALITY OF LOGIC WITHOUT IDENTITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 10 January 2023, pp. 147-162
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- 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
NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 15 May 2013, pp. 394-423
- Print publication:
- September 2013
-
- Article
- Export citation