8 results
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 05 June 2023, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 21 July 2022, pp. 327-386
- Print publication:
- September 2022
-
- Article
- Export citation
ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 19 July 2022, pp. 1110-1119
- Print publication:
- December 2023
-
- Article
- Export citation
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 11 June 2021, pp. 635-668
- Print publication:
- June 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 08 April 2021, pp. 285-306
- Print publication:
- June 2021
-
- Article
- Export citation
WEIHRAUCH GOES BROUWERIAN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1614-1653
- Print publication:
- December 2020
-
- Article
- Export citation
THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
$E-PA^{\omega } + QF-AC^{0,0}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 27 October 2020, pp. 224-261
- Print publication:
- March 2021
-
- Article
- Export citation
COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 22 July 2020, pp. 946-972
- Print publication:
- December 2021
-
- Article
- Export citation