| |
| 2008 | ||
|---|---|---|
| 20 | EE | Norihiro Kamide: Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. JELIA 2008: 245-257 |
| 2007 | ||
| 19 | EE | Norihiro Kamide: Synthesized substructural logics. Math. Log. Q. 53(3): 219-225 (2007) |
| 2006 | ||
| 18 | EE | Norihiro Kamide: Foundations of Paraconsistent Resolution. Fundam. Inform. 71(4): 419-441 (2006) |
| 17 | EE | Norihiro Kamide: Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15(4): 371-401 (2006) |
| 16 | EE | Norihiro Kamide: Linear and affine logics with temporal, spatial and epistemic operators. Theor. Comput. Sci. 353(1-3): 165-207 (2006) |
| 2005 | ||
| 15 | EE | Norihiro Kamide: Linear Logics with Communication-merge. J. Log. Comput. 15(1): 3-20 (2005) |
| 14 | Norihiro Kamide: Natural deduction systems for Nelson's paraconsistent logic and its neighbors. Journal of Applied Non-Classical Logics 15(4): 405-435 (2005) | |
| 13 | EE | Norihiro Kamide: A spatial modal logic with a location interpretation. Math. Log. Q. 51(4): 331-341 (2005) |
| 12 | EE | Norihiro Kamide: On a logic of involutive quantales. Math. Log. Q. 51(6): 579-585 (2005) |
| 11 | EE | Norihiro Kamide: Gentzen-Type Methods for Bilattice Negation. Studia Logica 80(2-3): 265-289 (2005) |
| 2004 | ||
| 10 | EE | Norihiro Kamide: Combining Soft Linear Logic and Spatio-temporal Operators. J. Log. Comput. 14(5): 625-650 (2004) |
| 9 | EE | Norihiro Kamide: Quantized Linear Logic, Involutive Quantales and Strong Negation. Studia Logica 77(3): 355-384 (2004) |
| 2003 | ||
| 8 | EE | Norihiro Kamide: Classical linear logics with mix separation principle. Math. Log. Q. 49(2): 201-209 (2003) |
| 7 | EE | Norihiro Kamide: A note on dual-intuitionistic logic. Math. Log. Q. 49(5): 519-524 (2003) |
| 2002 | ||
| 6 | EE | Norihiro Kamide: Relevance Principle for Substructural Logics with Mingle and Strong Negation. J. Log. Comput. 12(6): 913-928 (2002) |
| 5 | Norihiro Kamide: Substructural Logics with Mingle. Journal of Logic, Language and Information 11(2): 227-249 (2002) | |
| 4 | Norihiro Kamide: Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11(4): 453-470 (2002) | |
| 3 | EE | Norihiro Kamide: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Logic Journal of the IGPL 10(6): 653-678 (2002) |
| 2 | EE | Norihiro Kamide: A Canonical Model Construction for Substructural Logics with Strong Negation. Reports on Mathematical Logic 36: 95-116 (2002) |
| 1999 | ||
| 1 | Ryo Kashima, Norihiro Kamide: Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63(2): 181-212 (1999) | |
| 1 | Ryo Kashima | [1] |