|
|||||
|
|
Combinators and structurally free logic |
|
| Authors: | Dunn, JM Meyer, RK |
| Affiliation: | Departments of Philosophy and Computer Science, Indiana University, Bloomington, IN 47405, USA A1 Automated Reasoning Project, The Australian National University, Canberra, ACT 2604, Australia |
| Abstract: | |
| Keywords: | combinatory logic substructural logic Gentzen gaggle relevance logic semantics algebraic logic |
| 本文献已被 Oxford 等数据库收录！ | |