57 results
A terminating intuitionistic calculus
-
- Journal:
- The Journal of Symbolic Logic / Accepted manuscript
- Published online by Cambridge University Press:
- 05 December 2023, pp. 1-21
-
- Article
-
- You have access
- Export citation
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 28 June 2018, pp. 736-779
- Print publication:
- December 2018
-
- Article
- Export citation
PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
-
- Journal:
- The Review of Symbolic Logic / Volume 9 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 01 December 2015, pp. 44-75
- Print publication:
- March 2016
-
- Article
- Export citation
GEOMETRISATION OF FIRST-ORDER LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 04 June 2015, pp. 123-163
- Print publication:
- June 2015
-
- Article
- Export citation
PART II - PROOF SYSTEMS BASED ON SEQUENT CALCULUS
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 83-84
-
- Chapter
- Export citation
PART I - PROOF SYSTEMS BASED ON NATURAL DEDUCTION
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 15-16
-
- Chapter
- Export citation
Contents
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp v-viii
-
- Chapter
- Export citation
2 - Rules of proof: natural deduction
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 17-38
-
- Chapter
- Export citation
8 - Geometric theories
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 133-146
-
- Chapter
- Export citation
3 - Axiomatic systems
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 39-49
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 3-14
-
- Chapter
- Export citation
4 - Order and lattice theory
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 50-67
-
- Chapter
- Export citation
9 - Classical and intuitionistic axiomatics
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 147-156
-
- Chapter
- Export citation
PART IV - PROOF SYSTEMS FOR NON-CLASSICAL LOGICS
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 183-184
-
- Chapter
- Export citation
Prologue: Hilbert's last problem
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 1-2
-
- Chapter
- Export citation
Proof Analysis
- A Contribution to Hilbert's Last Problem
-
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011
11 - Modal logic
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 185-221
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp i-iv
-
- Chapter
- Export citation
PART III - PROOF SYSTEMS FOR GEOMETRIC THEORIES
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 131-132
-
- Chapter
- Export citation
6 - Rules of proof: sequent calculus
-
- Book:
- Proof Analysis
- Published online:
- 07 October 2011
- Print publication:
- 29 September 2011, pp 85-112
-
- Chapter
- Export citation