15502 results in Philosophy of science
Contents
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp v-viii
-
- Chapter
- Export citation
APPENDIX C - PESCA – A PROOF EDITOR FOR SEQUENT CALCULUS (by Aarne Ranta)
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 235-244
-
- Chapter
- Export citation
APPENDIX A - SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 219-224
-
- Chapter
- Export citation
4 - THE QUANTIFIERS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 61-86
-
- Chapter
- Export citation
INTRODUCTION
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp xi-xviii
-
- Chapter
- Export citation
8 - BACK TO NATURAL DEDUCTION
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 165-210
-
- Chapter
- Export citation
1 - FROM NATURAL DEDUCTION TO SEQUENT CALCULUS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 1-24
-
- Chapter
- Export citation
SUBJECT INDEX
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 253-256
-
- Chapter
- Export citation
6 - STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 126-155
-
- Chapter
- Export citation
2 - SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 25-46
-
- Chapter
- Export citation
3 - SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 47-60
-
- Chapter
- Export citation
5 - VARIANTS OF SEQUENT CALCULI
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 87-125
-
- Chapter
- Export citation
APPENDIX B - PROOF THEORY AND CONSTRUCTIVE TYPE THEORY
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 225-234
-
- Chapter
- Export citation
Structural Proof Theory
-
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001
Frontmatter
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp i-iv
-
- Chapter
- Export citation
INDEX OF LOGICAL SYSTEMS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 257-257
-
- Chapter
- Export citation
BIBLIOGRAPHY
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 245-250
-
- Chapter
- Export citation
AUTHOR INDEX
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 251-252
-
- Chapter
- Export citation
7 - INTERMEDIATE LOGICAL SYSTEMS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 156-164
-
- Chapter
- Export citation
CONCLUSION: DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 211-218
-
- Chapter
- Export citation