Structural Proof Theory
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521793070, 9780521068420, 9780511527340

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

PESCA – A PROOF EDITOR FOR SEQUENT CALCULUS (by Aarne Ranta)

Structural Proof Theory ◽

10.1017/cbo9780511527340.014 ◽

2001 ◽

pp. 235-244

Keyword(s):

Sequent Calculus

Download Full-text

BACK TO NATURAL DEDUCTION

Structural Proof Theory ◽

10.1017/cbo9780511527340.010 ◽

2001 ◽

pp. 165-210

Keyword(s):

Natural Deduction

Download Full-text

THE QUANTIFIERS

Structural Proof Theory ◽

10.1017/cbo9780511527340.006 ◽

2001 ◽

pp. 61-86

Download Full-text

BIBLIOGRAPHY

Structural Proof Theory ◽

10.1017/cbo9780511527340.015 ◽

2001 ◽

pp. 245-250

Download Full-text

SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

Structural Proof Theory ◽

10.1017/cbo9780511527340.004 ◽

2001 ◽

pp. 25-46

Keyword(s):

Intuitionistic Logic ◽

Sequent Calculus

Download Full-text

VARIANTS OF SEQUENT CALCULI

Structural Proof Theory ◽

10.1017/cbo9780511527340.007 ◽

2001 ◽

pp. 87-125

Keyword(s):

Sequent Calculi

Download Full-text

SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC

Structural Proof Theory ◽

10.1017/cbo9780511527340.005 ◽

2001 ◽

pp. 47-60

Keyword(s):

Intuitionistic Logic ◽

Sequent Calculus

Download Full-text

STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES

Structural Proof Theory ◽

10.1017/cbo9780511527340.008 ◽

2001 ◽

pp. 126-155

Keyword(s):

Proof Analysis

Download Full-text

INTRODUCTION

Structural Proof Theory ◽

10.1017/cbo9780511527340.002 ◽

2001 ◽

pp. xi-xviii

Download Full-text

INTERMEDIATE LOGICAL SYSTEMS

Structural Proof Theory ◽

10.1017/cbo9780511527340.009 ◽

2001 ◽

pp. 156-164

Download Full-text