4 results
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 May 2023, pp. 1-23
-
- Article
- Export citation
DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 16 June 2020, pp. 539-562
- Print publication:
- June 2020
-
- Article
- Export citation
Deciding the Existence of Minority Terms
- Part of
-
- Journal:
- Canadian Mathematical Bulletin / Volume 63 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 24 October 2019, pp. 577-591
- Print publication:
- September 2020
-
- Article
- Export citation
A SIMPLE ALGORITHM FOR DEDUCTION
- Part of
-
- Journal:
- The ANZIAM Journal / Volume 51 / Issue 1 / July 2009
- Published online by Cambridge University Press:
- 09 March 2010, pp. 102-122
-
- Article
-
- You have access
- Export citation