4 results
A NOTE ON THE SEQUENT CALCULI ${{{\bf G3}[{\bf mic}]}}^{=}$
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 02 July 2020, pp. 537-551
- Print publication:
- June 2022
-
- Article
- Export citation
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 August 2019, pp. 813-837
- Print publication:
- December 2021
-
- Article
- Export citation
Decidability of the Class in the Membership Theory NWL
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 183-194
-
- Chapter
- Export citation
Expressing infinity without foundation
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1230-1235
- Print publication:
- December 1991
-
- Article
- Export citation