Abstract | ||
---|---|---|
The contraction-free sequent calculus G4 for intuitionistic logic is extended by rules following a general rule-scheme for nonlogical axioms. Admissibility of structural rules for these extensions is proved in a direct way by induction on derivations. This method permits the representation of various applied logics as complete, contraction- and cut-free sequent calculus systems with some restricti... |
Year | DOI | Venue |
---|---|---|
2001 | 10.1093/jigpal/9.4.541 | Logic Journal of the IGPL |
Keywords | Field | DocType |
applied sequent calculus,contraction-free,apartness,conservativity | Algebra,Natural deduction,Proof calculus,Noncommutative logic,Sequent,Linear logic,Cut-elimination theorem,Mathematics,Curry–Howard correspondence | Journal |
Volume | Issue | ISSN |
9 | 4 | 1367-0751 |
Citations | PageRank | References |
3 | 0.47 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roy Dyckhoff | 1 | 452 | 49.09 |
Sara Negri | 2 | 3 | 0.81 |