|
|||||
|
|
Admissibility of structural rules for extensions of contraction-free sequent calculi |
|
| Authors: | Dyckhoff, R Negri, S |
| Affiliation: | A1 School of Computer Science, St Andrews University, St Andrews, Fife KY16 9SS, UK E-mail: rd@dcs.st-and.ac.uk A2 Department of Philosophy, University of Helsinki, 00014 Helsinki, Finland E-mail: negri@helsinki.fi |
| Abstract: | |
| Keywords: | applied sequent calculus contraction-free apartness conservativity cut-elimination |
| 本文献已被 Oxford 等数据库收录！ | |