Kripke Semantics for Modal Substructural Logics |
| |
| Authors: | Norihiro Kamide |
| |
| Affiliation: | (1) Wakayama National College of Technology, Noshima 77, Nada, Gobo, Wakayama, 644-0023, Japan |
| |
| Abstract: | We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics. |
| |
| Keywords: | completeness theorem Kripke semantics linear logic modal substructural logic relevant logic |
| 本文献已被 SpringerLink 等数据库收录！ |
|
