Proof Theory - Discrete Mathematics and Its Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Chapman And Hall/CRC

9781466564664, 9781466564688

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Variants of the first sequent calculi

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-4 ◽

2014 ◽

pp. 57-79

Keyword(s):

Sequent Calculi

Download Full-text

Front Matter

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-1 ◽

2014 ◽

pp. FM1-x

Download Full-text

Sequent calculi for non-classical logics

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-5 ◽

2014 ◽

pp. 80-137

Keyword(s):

Sequent Calculi

Download Full-text

Cut rules and cut theorems

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-8 ◽

2014 ◽

pp. 221-268

Download Full-text

Classical first-order logic

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-3 ◽

2014 ◽

pp. 11-56

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Proofs and proof theory

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-2 ◽

2014 ◽

pp. 1-10

Keyword(s):

Proof Theory

Download Full-text

Bibliography

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-12 ◽

2014 ◽

pp. 364-374

Download Full-text

Some supplementary concepts

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-11 ◽

2014 ◽

pp. 354-363

Download Full-text

Display calculi and hypersequents

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-7 ◽

2014 ◽

pp. 199-220

Keyword(s):

Display Calculi

Download Full-text

Consecution calculi for non-classical logics

Proof Theory - Discrete Mathematics and Its Applications ◽

10.1201/b17294-6 ◽

2014 ◽

pp. 138-198

Download Full-text

Proof Theory - Discrete Mathematics and Its ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Chapman And Hall/CRC

Variants of the first sequent calculi

Front Matter

Sequent calculi for non-classical logics

Cut rules and cut theorems

Classical first-order logic

Proofs and proof theory

Bibliography

Some supplementary concepts

Display calculi and hypersequents

Consecution calculi for non-classical logics

Proof Theory - Discrete Mathematics and Its Applications
Latest Publications