5 results
DISJUNCTIONS WITH STOPPING CONDITIONS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 231-253
- Print publication:
- September 2021
-
- Article
- Export citation
TRUTH AND FEASIBLE REDUCIBILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 20 September 2019, pp. 367-421
- Print publication:
- March 2020
-
- Article
- Export citation
MODELS OF POSITIVE TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 26 December 2018, pp. 144-172
- Print publication:
- March 2019
-
- Article
- Export citation
NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 30 March 2017, pp. 455-480
- Print publication:
- September 2017
-
- Article
- Export citation
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 15 December 2016, pp. 187-202
- Print publication:
- March 2017
-
- Article
- Export citation