Normal Modal Substructural Logics with Strong Negation
Author: Kamide, Norihiro
Source: Journal of Philosophical Logic, Volume 32, Number 6, 200312 , pp. 589-612(24)
Abstract:We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics.
Document Type: Research Article
Affiliations: Department of Philosophy Keio University 2-15-45 Mita, Minatoku Tokyo 108-8345, Japan, Email: email@example.com
Publication date: January 1, 2003