|
|||||
|
|
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation |
|
| Authors: | Kamide Norihiro |
| Affiliation: | Tokyo Institute of Technology, Department of Mathematical and Computing Sciences, Ookayama, Megro, Tokyo 152-8552, Japan. E-mail: kamide2{at}is.titech.ac.jp |
| Abstract: | |
| Keywords: | Kripke semantics linear logic sequent calculus strong negation |
| 本文献已被 Oxford 等数据库收录！ | |