2 results
A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 09 October 2019, pp. 882-886
- Print publication:
- December 2020
-
- Article
- Export citation
HOW A SEMANTICS FOR TONK SHOULD BE
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 03 February 2015, pp. 488-505
- Print publication:
- September 2015
-
- Article
- Export citation