Accepted manuscripts
Article
On the Proof-Theoretic Structure of Counterfactual Inference
-
- Published online by Cambridge University Press:
- 08 April 2025, pp. 1-51
-
- Article
-
- You have access
- Export citation
A Defense of Logicism
-
- Published online by Cambridge University Press:
- 07 April 2025, pp. 1-63
-
- Article
-
- You have access
- Export citation
NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICS
-
- Published online by Cambridge University Press:
- 17 March 2025, pp. 1-26
-
- Article
-
- You have access
- Export citation
A FORMALISATION OF CONSTRUCTIVE EVIDENCE-BASED REASONING: CONSTRUCTING JUSTIFICATIONS
-
- Published online by Cambridge University Press:
- 03 March 2025, pp. 1-26
-
- Article
-
- You have access
- Export citation
A MODULAR BISIMULATION CHARACTERISATION FOR FRAGMENTS OF HYBRID LOGIC
-
- Published online by Cambridge University Press:
- 03 March 2025, pp. 1-24
-
- Article
-
- You have access
- Export citation
A SIMPLIFIED LOWER BOUND FOR IMPLICATIONAL LOGIC
-
- Published online by Cambridge University Press:
- 22 January 2025, pp. 1-36
-
- Article
-
- You have access
- Export citation
THE LATTICE PROBLEM FOR MODELS OF PA
-
- Published online by Cambridge University Press:
- 13 January 2025, pp. 1-30
-
- Article
-
- You have access
- Export citation
FEFERMAN’S COMPLETENESS THEOREM
-
- Published online by Cambridge University Press:
- 10 January 2025, pp. 1-21
-
- Article
-
- You have access
- Export citation
The Erdős-Hajnal problem list
-
- Published online by Cambridge University Press:
- 06 January 2025, pp. 1-58
-
- Article
-
- You have access
- Export citation
Univocity of Intuitionistic and Classical Connectives
-
- Published online by Cambridge University Press:
- 26 December 2024, pp. 1-9
-
- Article
-
- You have access
- Export citation