|
|||||
|
|
Normal Modal Substructural Logics with Strong Negation |
|
| Authors: | Kamide Norihiro |
| Abstract: | We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics. |
| Keywords: | Kripke model linear modalities modal substructural logic strong negation |
| 本文献已被 SpringerLink 等数据库收录！ | |