dblp.uni-trier.dewww.uni-trier.de

Norihiro Kamide

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
20EENorihiro Kamide: Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. JELIA 2008: 245-257
2007
19EENorihiro Kamide: Synthesized substructural logics. Math. Log. Q. 53(3): 219-225 (2007)
2006
18EENorihiro Kamide: Foundations of Paraconsistent Resolution. Fundam. Inform. 71(4): 419-441 (2006)
17EENorihiro Kamide: Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15(4): 371-401 (2006)
16EENorihiro Kamide: Linear and affine logics with temporal, spatial and epistemic operators. Theor. Comput. Sci. 353(1-3): 165-207 (2006)
2005
15EENorihiro 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)
13EENorihiro Kamide: A spatial modal logic with a location interpretation. Math. Log. Q. 51(4): 331-341 (2005)
12EENorihiro Kamide: On a logic of involutive quantales. Math. Log. Q. 51(6): 579-585 (2005)
11EENorihiro Kamide: Gentzen-Type Methods for Bilattice Negation. Studia Logica 80(2-3): 265-289 (2005)
2004
10EENorihiro Kamide: Combining Soft Linear Logic and Spatio-temporal Operators. J. Log. Comput. 14(5): 625-650 (2004)
9EENorihiro Kamide: Quantized Linear Logic, Involutive Quantales and Strong Negation. Studia Logica 77(3): 355-384 (2004)
2003
8EENorihiro Kamide: Classical linear logics with mix separation principle. Math. Log. Q. 49(2): 201-209 (2003)
7EENorihiro Kamide: A note on dual-intuitionistic logic. Math. Log. Q. 49(5): 519-524 (2003)
2002
6EENorihiro 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)
3EENorihiro Kamide: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Logic Journal of the IGPL 10(6): 653-678 (2002)
2EENorihiro 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)

Coauthor Index

1Ryo Kashima [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)