|
|||||
|
|
Semantics for structurally free logics LC+ |
|
| Authors: | Bimbo K |
| Affiliation: | ARG, Computer Science Laboratory, RSISE, Bld. #115, Australian National University, Canberra, ACT 0200, Australia E-mail: bimbo@csl.anu.edu.au |
| Abstract: | |
| Keywords: | algebraic semantics lattice representation Kripke semantics structurally free logics substructural logics combinators canonicity |
| 本文献已被 Oxford 等数据库收录！ | |