|
|||||
|
|
Kripke Completeness of First-Order Constructive Logics with Strong Negation |
|
| Authors: | Hasuo, Ichiro Kashima, Ryo |
| Affiliation: | Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, O-okayama, Meguro, Tokyo 152-8552, Japan. E-mail: hasuo2{at}is.titech.ac.jp, kashima{at}is.titech.ac.jp |
| Abstract: | |
| Keywords: | strong negation quantified constructive logic Kripke-type semantics intermediate logics |
| 本文献已被 Oxford 等数据库收录！ | |