|
|||||
|
|
Intermediate Logics Admitting a Structural Hypersequent Calculus |
|
| Authors: | Lauridsen Frederik M |
| Institution: | 1.Institute for Logic, Language and Computation, University of Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands ; |
| Abstract: | Studia Logica - We characterise the intermediate logics which admit a cut-free hypersequent calculus of the form $$\mathbf {HLJ} + \mathscr {R}$$ , where $$\mathbf {HLJ}$$ is the hypersequent... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |