|
|||||
|
|
Two extensions of the structurally free logic LC |
|
| Authors: | Bimbo K; Dunn JM |
| Institution: | A1 Department of Philosophy, Indiana University Sycamore Hall, #026, Bloomington, IN 47405, USA E-mail: kbimbo@phil.indiana.edu A2 Departments of Philosophy and Computer Science, Indiana University, Sycamore Hall #026, Bloomington, IN 47405, USA E-mail: dunn@cs.indiana.edu |
| Abstract: | |
| Keywords: | Gentzen system substructural logic combinators cutelimination algebraic semantics |
| 本文献已被 Oxford 等数据库收录！ | |