×

zbMATH — the first resource for mathematics

Kamide, Norihiro

Compute Distance To:
Author ID: kamide.norihiro Recent zbMATH articles by "Kamide, Norihiro"
Published as: Kamide, Norihiro
Documents Indexed: 101 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

62 Publications have been cited 218 times in 102 Documents Cited by Year
Proof theory of N4-paraconsistent logics. Zbl 1436.03003
Kamide, Norihiro; Wansing, Heinrich
15
2015
Proof theory of Nelson’s paraconsistent logic: a uniform perspective. Zbl 1382.03048
Kamide, Norihiro; Wansing, Heinrich
15
2012
Quantized linear logic, involutive quantales and strong negation. Zbl 1068.03052
Kamide, Norihiro
12
2004
Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022
Kamide, Norihiro; Wansing, Heinrich
11
2010
Linear and affine logics with temporal, spatial and epistemic operators. Zbl 1175.03039
Kamide, Norihiro
9
2006
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Kripke semantics for modal substructural logics. Zbl 1017.03011
Kamide, Norihiro
8
2002
Embedding linear-time temporal logic into infinitary logic: application to cut-elimination for multi-agent infinitary epistemic linear-time temporal logic. Zbl 1250.03028
Kamide, Norihiro
7
2009
Sequent calculi for some trilattice logics. Zbl 1174.03008
Kamide, Norihiro; Wansing, Heinrich
6
2009
Sequent calculi for intuitionistic linear logic with strong negation. Zbl 1014.03057
Kamide, Norihiro
6
2002
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
A note on dual-intuitionistic logic. Zbl 1036.03006
Kamide, Norihiro
5
2003
A hierarchy of weak double negations. Zbl 1329.03064
Kamide, Norihiro
5
2013
Trilattice logic: an embedding-based approach. Zbl 1348.03025
Kamide, Norihiro
5
2015
Combining soft linear logic and spatio-temporal operators. Zbl 1069.03017
Kamide, Norihiro
4
2004
A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041
Kamide, Norihiro
4
2004
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
4
2010
Proof systems combining classical and paraconsistent negations. Zbl 1171.03012
Kamide, Norihiro
4
2009
An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317
Kamide, Norihiro
4
2006
Connexive modal logic based on positive S4. Zbl 1261.03087
Kamide, Norihiro; Wansing, Heinrich
4
2011
Gentzen-type methods for bilattice negation. Zbl 1086.03025
Kamide, Norihiro
4
2005
Paraconsistent double negations as classical and intuitionistic negations. Zbl 1417.03193
Kamide, Norihiro
4
2017
Substructural logics with mingle. Zbl 1003.03019
Kamide, Norihiro
4
2002
A canonical model construction for substructural logics with strong negation. Zbl 1027.03019
Kamide, Norihiro
4
2002
Normal modal substructural logics with strong negation. Zbl 1045.03027
Kamide, Norihiro
3
2003
Phase semantics and Petri net interpretation for resource-sensitive strong negation. Zbl 1159.03329
Kamide, Norihiro
3
2006
Intuitionistic trilattice logics. Zbl 1205.03034
Wansing, Heinrich; Kamide, Norihiro
3
2010
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
3
2017
An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102
Kamide, Norihiro
3
2010
Yet another paradefinite logic: the role of conflation. Zbl 07125818
Kamide, Norihiro; Zohar, Yoni
3
2018
Linear logics with communication-merge. Zbl 1069.03018
Kamide, Norihiro
2
2005
A paraconsistent linear-time temporal logic. Zbl 1228.03012
Kamide, Norihiro; Wansing, Heinrich
2
2011
An extended first-order Belnap-Dunn logic with classical negation. Zbl 06810774
Kamide, Norihiro; Omori, Hitoshi
2
2017
Natural deduction systems for Nelson’s paraconsistent logic and its neighbors. Zbl 1185.03047
Kamide, Norihiro
2
2005
Substructural implicational logics including the relevant logic E. Zbl 0943.03019
Kashima, Ryo; Kamide, Norihiro
2
1999
On a logic of involutive quantales. Zbl 1079.03056
Kamide, Norihiro
2
2005
A cut-free system for 16-valued reasoning. Zbl 1117.03320
Kamide, Norihiro
2
2005
Phase semantics for linear-time formalism. Zbl 1216.03034
Kamide, Norihiro
2
2011
Synchronized linear-time temporal logic. Zbl 1271.03026
Wansing, Heinrich; Kamide, Norihiro
2
2011
Bounded linear-time temporal logic: a proof-theoretic investigation. Zbl 1241.03015
Kamide, Norihiro
2
2012
A note on decision problems for implicational sequent calculi. Zbl 1037.03051
Kamide, Norihiro
1
2001
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Zbl 1244.03093
Kamide, Norihiro
1
2010
Completeness and cut-elimination theorems for trilattice logics. Zbl 1225.03024
Kamide, Norihiro; Wansing, Heinrich
1
2011
A uniform proof-theoretic foundation for abstract paraconsistent logic programming. Zbl 1214.68120
Kamide, Norihiro
1
2007
Foundations of paraconsistent resolution. Zbl 1095.03015
Kamide, Norihiro
1
2006
Linear exponentials as resource operators: A decidable first-order linear logic with bounded exponentials. Zbl 1178.03078
Kamide, Norihiro
1
2008
Interpolation theorems for some variants of LTL. Zbl 1436.03123
Kamide, Norihiro
1
2015
Dynamic non-commutative logic. Zbl 1193.03062
Kamide, Norihiro
1
2010
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Zbl 1388.03033
Kamide, Norihiro
1
2016
Relevance principle for substructural logics with mingle and strong negation. Zbl 1017.03010
Kamide, Norihiro
1
2002
A spatial modal logic with a location interpretation. Zbl 1079.03010
Kamide, Norihiro
1
2005
The logic of sequences. Zbl 1261.03086
Kamide, Norihiro
1
2011
Reasoning about resources and information: a linear logic approach. Zbl 1315.03044
Kamide, Norihiro; Kaneiwa, Ken
1
2013
Temporal BI: proof system, semantics and translations. Zbl 1296.03014
Kamide, Norihiro
1
2013
Paraconsistent double negation as a modal operator. Zbl 1375.03029
Kamide, Norihiro
1
2016
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
1
2018
Embedding-based approaches to paraconsistent and temporal description logics. Zbl 1267.68224
Kamide, Norihiro
1
2012
Notes on Craig interpolation for LJ with strong negation. Zbl 1241.03029
Kamide, Norihiro
1
2011
A simplified semantics for a fragment of intuitionistic linear logic. Zbl 1119.03326
Kamide, Norihiro
1
2003
Synthesized substructural logics. Zbl 1121.03029
Kamide, Norihiro
1
2007
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
1
2011
Extended full computation-tree logics for paraconsistent model checking. Zbl 1133.68045
Kamide, Norihiro
1
2006
Yet another paradefinite logic: the role of conflation. Zbl 07125818
Kamide, Norihiro; Zohar, Yoni
3
2018
Proof theory of paraconsistent quantum logic. Zbl 1437.03178
Kamide, Norihiro
1
2018
Embedding from multilattice logic into classical logic and vice versa. Zbl 1444.03090
Kamide, Norihiro; Shramko, Yaroslav
9
2017
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
5
2017
Paraconsistent double negations as classical and intuitionistic negations. Zbl 1417.03193
Kamide, Norihiro
4
2017
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant. Zbl 1417.03179
Kamide, Norihiro; Shramko, Yaroslav; Wansing, Heinrich
3
2017
An extended first-order Belnap-Dunn logic with classical negation. Zbl 06810774
Kamide, Norihiro; Omori, Hitoshi
2
2017
A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics. Zbl 1388.03033
Kamide, Norihiro
1
2016
Paraconsistent double negation as a modal operator. Zbl 1375.03029
Kamide, Norihiro
1
2016
Proof theory of N4-paraconsistent logics. Zbl 1436.03003
Kamide, Norihiro; Wansing, Heinrich
15
2015
Trilattice logic: an embedding-based approach. Zbl 1348.03025
Kamide, Norihiro
5
2015
Interpolation theorems for some variants of LTL. Zbl 1436.03123
Kamide, Norihiro
1
2015
A hierarchy of weak double negations. Zbl 1329.03064
Kamide, Norihiro
5
2013
Reasoning about resources and information: a linear logic approach. Zbl 1315.03044
Kamide, Norihiro; Kaneiwa, Ken
1
2013
Temporal BI: proof system, semantics and translations. Zbl 1296.03014
Kamide, Norihiro
1
2013
Proof theory of Nelson’s paraconsistent logic: a uniform perspective. Zbl 1382.03048
Kamide, Norihiro; Wansing, Heinrich
15
2012
Bounded linear-time temporal logic: a proof-theoretic investigation. Zbl 1241.03015
Kamide, Norihiro
2
2012
Embedding-based approaches to paraconsistent and temporal description logics. Zbl 1267.68224
Kamide, Norihiro
1
2012
Connexive modal logic based on positive S4. Zbl 1261.03087
Kamide, Norihiro; Wansing, Heinrich
4
2011
A paraconsistent linear-time temporal logic. Zbl 1228.03012
Kamide, Norihiro; Wansing, Heinrich
2
2011
Phase semantics for linear-time formalism. Zbl 1216.03034
Kamide, Norihiro
2
2011
Synchronized linear-time temporal logic. Zbl 1271.03026
Wansing, Heinrich; Kamide, Norihiro
2
2011
Completeness and cut-elimination theorems for trilattice logics. Zbl 1225.03024
Kamide, Norihiro; Wansing, Heinrich
1
2011
The logic of sequences. Zbl 1261.03086
Kamide, Norihiro
1
2011
Notes on Craig interpolation for LJ with strong negation. Zbl 1241.03029
Kamide, Norihiro
1
2011
Paraconsistent computation tree logic. Zbl 1251.68227
Kaneiwa, Ken; Kamide, Norihiro
1
2011
Combining linear-time temporal logic with constructiveness and paraconsistency. Zbl 1207.03022
Kamide, Norihiro; Wansing, Heinrich
11
2010
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
4
2010
Intuitionistic trilattice logics. Zbl 1205.03034
Wansing, Heinrich; Kamide, Norihiro
3
2010
An embedding-based completeness proof for Nelson’s paraconsistent logic. Zbl 1286.03102
Kamide, Norihiro
3
2010
Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Zbl 1244.03093
Kamide, Norihiro
1
2010
Dynamic non-commutative logic. Zbl 1193.03062
Kamide, Norihiro
1
2010
Embedding linear-time temporal logic into infinitary logic: application to cut-elimination for multi-agent infinitary epistemic linear-time temporal logic. Zbl 1250.03028
Kamide, Norihiro
7
2009
Sequent calculi for some trilattice logics. Zbl 1174.03008
Kamide, Norihiro; Wansing, Heinrich
6
2009
Proof systems combining classical and paraconsistent negations. Zbl 1171.03012
Kamide, Norihiro
4
2009
Linear exponentials as resource operators: A decidable first-order linear logic with bounded exponentials. Zbl 1178.03078
Kamide, Norihiro
1
2008
A uniform proof-theoretic foundation for abstract paraconsistent logic programming. Zbl 1214.68120
Kamide, Norihiro
1
2007
Synthesized substructural logics. Zbl 1121.03029
Kamide, Norihiro
1
2007
Linear and affine logics with temporal, spatial and epistemic operators. Zbl 1175.03039
Kamide, Norihiro
9
2006
An equivalence between sequent calculi for linear-time temporal logic. Zbl 1133.03317
Kamide, Norihiro
4
2006
Phase semantics and Petri net interpretation for resource-sensitive strong negation. Zbl 1159.03329
Kamide, Norihiro
3
2006
Foundations of paraconsistent resolution. Zbl 1095.03015
Kamide, Norihiro
1
2006
Extended full computation-tree logics for paraconsistent model checking. Zbl 1133.68045
Kamide, Norihiro
1
2006
Gentzen-type methods for bilattice negation. Zbl 1086.03025
Kamide, Norihiro
4
2005
Linear logics with communication-merge. Zbl 1069.03018
Kamide, Norihiro
2
2005
Natural deduction systems for Nelson’s paraconsistent logic and its neighbors. Zbl 1185.03047
Kamide, Norihiro
2
2005
On a logic of involutive quantales. Zbl 1079.03056
Kamide, Norihiro
2
2005
A cut-free system for 16-valued reasoning. Zbl 1117.03320
Kamide, Norihiro
2
2005
A spatial modal logic with a location interpretation. Zbl 1079.03010
Kamide, Norihiro
1
2005
Quantized linear logic, involutive quantales and strong negation. Zbl 1068.03052
Kamide, Norihiro
12
2004
Combining soft linear logic and spatio-temporal operators. Zbl 1069.03017
Kamide, Norihiro
4
2004
A relationship between Rauszer’s H-B logic and Nelson’s logic. Zbl 1066.03041
Kamide, Norihiro
4
2004
A note on dual-intuitionistic logic. Zbl 1036.03006
Kamide, Norihiro
5
2003
Normal modal substructural logics with strong negation. Zbl 1045.03027
Kamide, Norihiro
3
2003
A simplified semantics for a fragment of intuitionistic linear logic. Zbl 1119.03326
Kamide, Norihiro
1
2003
Kripke semantics for modal substructural logics. Zbl 1017.03011
Kamide, Norihiro
8
2002
Sequent calculi for intuitionistic linear logic with strong negation. Zbl 1014.03057
Kamide, Norihiro
6
2002
Substructural logics with mingle. Zbl 1003.03019
Kamide, Norihiro
4
2002
A canonical model construction for substructural logics with strong negation. Zbl 1027.03019
Kamide, Norihiro
4
2002
Relevance principle for substructural logics with mingle and strong negation. Zbl 1017.03010
Kamide, Norihiro
1
2002
A note on decision problems for implicational sequent calculi. Zbl 1037.03051
Kamide, Norihiro
1
2001
Substructural implicational logics including the relevant logic E. Zbl 0943.03019
Kashima, Ryo; Kamide, Norihiro
2
1999
all top 5

Cited by 86 Authors

39 Kamide, Norihiro
21 Wansing, Heinrich Theodor
8 Omori, Hitoshi
4 Shramko, Yaroslav V.
3 Han, Shengwei
3 Odintsov, Sergei P.
2 Grigor’ev, Oleg
2 Palmigiano, Alessandra
2 Petrukhin, Yaroslav Igorevich
2 Zamansky, Anna
2 Zhao, Bin
2 Zohar, Yoni
1 Alrajeh, Dalal
1 Bartoletti, Massimo
1 Bimbó, Katalin
1 Caleiro, Carlos
1 Carnielli, Walter Alexandre
1 Cavezza, Davide Giacomo
1 Ciabattoni, Agata
1 Ćirić, Miroslav D.
1 Clarke, Dave
1 Conradie, Willem J.
1 De, Michael
1 Degano, Pierpaolo
1 Di Giamberardino, Paolo
1 Dunn, Jon Michael
1 Feng, Zhiyong
1 Fernández Duque, David
1 Fitting, Melvin Chris
1 Frittella, Sabine
1 Gehrke, Mai
1 Gil-Férez, José
1 Girard, Patrick R.
1 Hartonas, Chrysafis
1 Hazen, Allen P.
1 Ignjatović, Jelena
1 Jalali, Raheleh
1 Jipsen, Peter
1 Kaneiwa, Ken
1 Kozak, Michał
1 Kruml, David
1 Lahav, Ori
1 Liang, Fei
1 Ma, Minghui
1 Ma, Yue
1 Metcalfe, George
1 Minari, Pierluigi
1 Morrill, Glyn V.
1 Morton, Wilmari
1 Muskens, Reinhard A.
1 Pan, Fangfang
1 Paoli, Francesco
1 Paseka, Jan
1 Pelletier, Francis Jeffry
1 Piazzai, Michele
1 Porello, Daniele
1 Qi, Guilin
1 Rasga, João
1 Robles, Gemma
1 Rodríguez, Ricardo Oscar
1 Sernadas, Cristina S.
1 Skurt, Daniel
1 Spendier, Lara
1 Spinks, Matthew
1 Steel, John R.
1 Takano, Mitio
1 Tranchini, Luca
1 Troquard, Nicolas
1 Tzimoulis, Apostolos
1 Ulrich, Dolph
1 Unterhuber, Matthias
1 Vakarelov, Dimiter
1 Valentín, Oriol
1 van Alten, Clint J.
1 van Benthem, Johan F. A. K.
1 Veroff, Robert
1 Vidal, Amanda
1 Viganò, Luca
1 Wang, Kewen
1 Wang, Zhe
1 Weber, Zach
1 Wijnberg, Nachoem M.
1 Wintein, Stefan
1 Yang, Eunsuk
1 Zhang, Xiaowang
1 Zunino, Roberto

Citations by Year