Concepedia

Norihiro Kamide

NK

Statistics

Publications

25

Citations

454

H-Index

13

Active since

2002

Affiliations

Waseda University(Current)

Teikyo University

Keio University

Iwate University

Kryvyi Rih State Pedagogical University

Norihiro Kamide is an author at Waseda University specializing in computer science, logic, and mathematics.

Publications per year

2002–2020

25

Publications

25

Proof theory of Nelson’s paraconsistent logic: A uniform perspective

Norihiro Kamide, Heinrich Wansing · Theoretical Computer Science · 2011 · 67 citations

Humanities, Mathematics, Knowledge Representation +15

Combining linear-time temporal logic with constructiveness and paraconsistency

Norihiro Kamide, Heinrich Wansing · Journal of Applied Logic · 2009 · 38 citations

Computing, Computer Science, Mathematics +9

Linear and affine logics with temporal, spatial and epistemic operators

Norihiro Kamide · Theoretical Computer Science · 2005 · 25 citations

Humanities, Computer Science, Philosophy +14

Embedding from multilattice logic into classical logic and vice versa

Norihiro Kamide, Yaroslav Shramko · Journal of Logic and Computation · 2016 · 23 citations

Humanities, Computer Science, Mathematics +12

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing · Fundamenta Informaticae · 2011 · 22 citations

Humanities, Computer Science, Mathematics +11

1–5 of 25