×
Compute Distance To:
Author ID: kamide.norihiro Recent zbMATH articles by "Kamide, Norihiro"
Published as: Kamide, Norihiro
Documents Indexed: 106 Publications since 1997, including 1 Book
Co-Authors: 7 Co-Authors with 24 Joint Publications
89 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

43 Kamide, Norihiro
22 Wansing, Heinrich Theodor
8 Omori, Hitoshi
4 Odintsov, Sergei P.
4 Petrukhin, Yaroslav Igorevich
4 Shramko, Yaroslav V.
3 Grigor’ev, Oleg
3 Han, Shengwei
2 Carnielli, Walter Alexandre
2 Ciabattoni, Agata
2 Fernández Duque, David
2 Palmigiano, Alessandra
2 Skurt, Daniel
2 Zamansky, Anna
2 Zhao, Bin
2 Zohar, Yoni
1 Alrajeh, Dalal
1 Bartoletti, Massimo
1 Bimbó, Katalin
1 Boudou, Joseph
1 Caleiro, Carlos
1 Cavezza, Davide Giacomo
1 Ćirić, Miroslav D.
1 Clarke, Dave
1 Conradie, Willem
1 De, Michael
1 Degano, Pierpaolo
1 Di Giamberardino, Paolo
1 Diéguez, Martín
1 Dunn, Jon Michael
1 Feng, Zhiyong
1 Ferguson, Thomas Macaulay
1 Fitting, Melvin Chris
1 Francez, Nissim
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 Kürbis, Nils
1 Lahav, Ori
1 Lang, Timo
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 Ramanayake, Revantha
1 Rasga, João
1 Robles, Gemma
1 Rodrigues, Abilio
1 Rodríguez, Ricardo Oscar
1 Sernadas, Cristina S.
1 Spendier, Lara
1 Spinks, Matthew
1 Steel, John R.
1 Takano, Mitio
1 Takemura, Ryo
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 Weiss, Yale
1 Wijnberg, Nachoem M.
1 Wintein, Stefan
1 Yang, Eunsuk
1 Zhang, Xiaowang
1 Zunino, Roberto

Citations by Year