Research Article
SEVENTEENTH-CENTURY SCHOLASTIC SYLLOGISTICS. BETWEEN LOGIC AND MATHEMATICS?
-
- Published online by Cambridge University Press:
- 28 January 2019, pp. 219-248
-
- Article
- Export citation
SYLLOGISTIC LOGIC WITH CARDINALITY COMPARISONS, ON INFINITE SETS
-
- Published online by Cambridge University Press:
- 05 June 2018, pp. 1-22
-
- Article
- Export citation
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC
-
- Published online by Cambridge University Press:
- 13 September 2019, pp. 459-482
-
- Article
- Export citation
CERTAIN MODERN IDEAS AND METHODS: “GEOMETRIC REALITY” IN THE MATHEMATICS OF CHARLOTTE ANGAS SCOTT
-
- Published online by Cambridge University Press:
- 05 March 2019, pp. 681-719
-
- Article
- Export citation
PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS
-
- Published online by Cambridge University Press:
- 17 June 2019, pp. 720-747
-
- Article
- Export citation
MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM
-
- Published online by Cambridge University Press:
- 07 November 2019, pp. 23-46
-
- Article
- Export citation
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
-
- Published online by Cambridge University Press:
- 23 April 2019, pp. 483-502
-
- Article
- Export citation
A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
-
- Published online by Cambridge University Press:
- 04 January 2019, pp. 249-268
-
- Article
- Export citation
A NOTE ON THE EXISTENCE OF RATIFIABLE ACTS
-
- Published online by Cambridge University Press:
- 15 October 2018, pp. 503-508
-
- Article
- Export citation
ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
-
- Published online by Cambridge University Press:
- 10 June 2019, pp. 269-295
-
- Article
- Export citation
MODULARITY IN MATHEMATICS
-
- Published online by Cambridge University Press:
- 21 February 2018, pp. 47-79
-
- Article
- Export citation
LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF
-
- Published online by Cambridge University Press:
- 09 October 2019, pp. 748-775
-
- Article
- Export citation
PEIRCE’S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC
-
- Published online by Cambridge University Press:
- 29 October 2018, pp. 509-540
-
- Article
- Export citation
THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC
-
- Published online by Cambridge University Press:
- 02 August 2019, pp. 296-325
-
- Article
- Export citation
A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
-
- Published online by Cambridge University Press:
- 06 November 2018, pp. 80-104
-
- Article
- Export citation
NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
-
- Published online by Cambridge University Press:
- 26 November 2019, pp. 776-796
-
- Article
- Export citation
INEFFABILITY AND REVENGE
-
- Published online by Cambridge University Press:
- 27 December 2018, pp. 797-809
-
- Article
- Export citation
FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS
-
- Published online by Cambridge University Press:
- 16 July 2019, pp. 105-140
-
- Article
- Export citation
STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE
-
- Published online by Cambridge University Press:
- 22 March 2019, pp. 326-337
-
- Article
- Export citation
INCOMPLETENESS VIA PARADOX AND COMPLETENESS
-
- Published online by Cambridge University Press:
- 23 May 2019, pp. 541-592
-
- Article
- Export citation