The SCEAS System
| |||||||

## Search the dblp DataBase
Norihiro Kamide:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Norihiro Kamide
**Foundations of Paraconsistent Resolution.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:71, n:4, pp:419-441 [Journal] - Norihiro Kamide
**Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.**[Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2002, v:10, n:6, pp:653-678 [Journal] - Norihiro Kamide
**Natural deduction systems for Nelson's paraconsistent logic and its neighbors.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2005, v:15, n:4, pp:405-435 [Journal] - Norihiro Kamide
**Substructural Logics with Mingle.**[Citation Graph (0, 0)][DBLP] Journal of Logic, Language and Information, 2002, v:11, n:2, pp:227-249 [Journal] - Norihiro Kamide
**Kripke Semantics for Modal Substructural Logics.**[Citation Graph (0, 0)][DBLP] Journal of Logic, Language and Information, 2002, v:11, n:4, pp:453-470 [Journal] - Norihiro Kamide
**Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.**[Citation Graph (0, 0)][DBLP] Journal of Logic, Language and Information, 2006, v:15, n:4, pp:371-401 [Journal] - Norihiro Kamide
**Relevance Principle for Substructural Logics with Mingle and Strong Negation.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2002, v:12, n:6, pp:913-928 [Journal] - Norihiro Kamide
**Combining Soft Linear Logic and Spatio-temporal Operators.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2004, v:14, n:5, pp:625-650 [Journal] - Norihiro Kamide
**Linear Logics with Communication-merge.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2005, v:15, n:1, pp:3-20 [Journal] - Norihiro Kamide
**Classical linear logics with mix separation principle.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:2, pp:201-209 [Journal] - Norihiro Kamide
**A note on dual-intuitionistic logic.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:5, pp:519-524 [Journal] - Norihiro Kamide
**On a logic of involutive quantales.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:6, pp:579-585 [Journal] - Norihiro Kamide
**A spatial modal logic with a location interpretation.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:4, pp:331-341 [Journal] - Norihiro Kamide
**Quantized Linear Logic, Involutive Quantales and Strong Negation.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2004, v:77, n:3, pp:355-384 [Journal] - Norihiro Kamide
**Gentzen-Type Methods for Bilattice Negation.**[Citation Graph (0, 0)][DBLP] Studia Logica, 2005, v:80, n:2-3, pp:265-289 [Journal] - Ryo Kashima, Norihiro Kamide
**Substructural Implicational Logics Including the Relevant Logic E.**[Citation Graph (0, 0)][DBLP] Studia Logica, 1999, v:63, n:2, pp:181-212 [Journal] - Norihiro Kamide
**Linear and affine logics with temporal, spatial and epistemic operators.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:353, n:1-3, pp:165-207 [Journal] - Norihiro Kamide
**A Canonical Model Construction for Substructural Logics with Strong Negation.**[Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2002, v:36, n:, pp:95-116 [Journal] **Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.**[Citation Graph (, )][DBLP]**Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.**[Citation Graph (, )][DBLP]**Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.**[Citation Graph (, )][DBLP]**Completeness for Generalized First-Order LTL.**[Citation Graph (, )][DBLP]**Branching-time Versus Linear-time - A Cooperative and Feasible Approach.**[Citation Graph (, )][DBLP]**Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL.**[Citation Graph (, )][DBLP]**Paraconsistent Negation and Classical Negation in Computation Tree Logic.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |