Kamide, Norihiro: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

An experimental study on natural circulation decay heat removal system for a loop type fast reactor

Ono, Ayako, Kamide, Hideki, Kobayashi, Jun, Doda, Norihiro, Watanabe, Osamu

Journal:

Journal of Nuclear Science and Technology

Year:

2016

Language:

english

File:

PDF, 1.74 MB

english, 2016

52

In Honor of Ryszard Wójcicki on the Occasion of his 80th Birthday || Synchronized Linear-Time Temporal Logic

Heinrich Wansing and Norihiro Kamide

Journal:

Year:

2011

Language:

english

File:

PDF, 1.46 MB

english, 2011

53

Single-succedent System Approach to Boolean BI

Kamide, Norihiro

Journal:

Procedia Computer Science

Year:

2015

Language:

english

File:

PDF, 183 KB

english, 2015

54

Towards a theory of resource: an approach based on soft exponentials

Kamide, Norihiro

Journal:

Journal of Applied Non-Classical Logics

Year:

2007

Language:

english

File:

PDF, 401 KB

english, 2007

55

Bunched sequential information

Kamide, Norihiro

Journal:

Journal of Applied Logic

Year:

2016

Language:

english

File:

PDF, 442 KB

english, 2016

56

A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

Kamide, Norihiro

Journal:

Mathematical Logic Quarterly

Year:

2016

Language:

english

File:

PDF, 203 KB

english, 2016

57

Kripke Semantics for Modal Substructural Logics

Norihiro Kamide

Journal:

Journal of Logic, Language and Information

Year:

2002

Language:

english

File:

PDF, 1.47 MB

english, 2002

58

572 EFFECT OF COMBINATION TABLETS WITH TELMISARTAN AND AMLODIPINE IN HYPERTENSIVE PATIENTS

Takeya, Yasushi, Ohishi, Mitsuru, Hayashi, Norihiro, Kitano, Shoichi, Katsuya, Tomohiro, Yamamoto, Koichi, Kamide, Kei, Nagano, Masahiro, Hirotani, Atsushi, Rakugi, Hiromi

Journal:

Journal of Hypertension

Year:

2012

Language:

english

File:

PDF, 99 KB

english, 2012

59

Proof Systems Combining Classical and Paraconsistent Negations

Norihiro Kamide

Journal:

Year:

2009

Language:

english

File:

PDF, 1.85 MB

english, 2009

60

Quantized Linear Logic, Involutive Quantales and Strong Negation

Norihiro Kamide

Journal:

Year:

2004

Language:

english

File:

PDF, 2.31 MB

english, 2004

61

Dynamic Non-Commutative Logic

Norihiro Kamide

Journal:

Journal of Logic, Language and Information

Year:

2010

Language:

english

File:

PDF, 1.51 MB

english, 2010

62

Phase Semantics and Petri Net Interpretations for Resource-Sensitive Strong Negation

Norihiro Kamide

Journal:

Journal of Logic, Language and Information

Year:

2006

Language:

english

File:

PDF, 2.51 MB

english, 2006

63

Substructural Logics with Mingle

Norihiro Kamide

Journal:

Journal of Logic, Language and Information

Year:

2002

Language:

english

File:

PDF, 1.63 MB

english, 2002

64

Substructural Implicational Logics including the Relevant Logic E

Ryo Kashima and Norihiro Kamide

Journal:

Year:

1999

Language:

english

File:

PDF, 2.25 MB

english, 1999

65

Negation in Constructive Logic || Gentzen-Type Methods for Bilattice Negation

Norihiro Kamide

Journal:

Year:

2005

Language:

english

File:

PDF, 2.52 MB

english, 2005

66

Normal Modal Substructural Logics with Strong Negation

Norihiro Kamide

Journal:

Journal of Philosophical Logic

Year:

2003

Language:

english

File:

PDF, 1.93 MB

english, 2003

67

Modal Multilattice Logic

Kamide, Norihiro, Shramko, Yaroslav

Journal:

Logica Universalis

Year:

2017

Language:

english

File:

PDF, 594 KB

english, 2017

68

[IEEE 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Novi Sad, Serbia (2017.5.22-2017.5.24)] 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Natural Deduction for Connexive Paraconsistent Quantum Logic

Kamide, Norihiro

Year:

2017

Language:

english

File:

PDF, 206 KB

english, 2017

69

[IEEE 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Novi Sad, Serbia (2017.5.22-2017.5.24)] 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Extending Ideal Paraconsistent Four-Valued Logic

Kamide, Norihiro

Year:

2017

Language:

english

File:

PDF, 199 KB

english, 2017

70

[IEEE 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Novi Sad, Serbia (2017.5.22-2017.5.24)] 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Phase Semantics for Multilattice Formalism

Kamide, Norihiro

Year:

2017

Language:

english

File:

PDF, 222 KB

english, 2017

71

Logics and translations for hierarchical model checking

Kamide, Norihiro, Yano, Ryu

Journal:

Procedia Computer Science

Year:

2017

Language:

english

File:

PDF, 500 KB

english, 2017

72

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant

Kamide, Norihiro, Shramko, Yaroslav, Wansing, Heinrich

Journal:

Year:

2017

Language:

english

File:

PDF, 544 KB

english, 2017

73

[IEEE 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) - Sapporo, Japan (2016.5.18-2016.5.20)] 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) - Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension

Kamide, Norihiro

Year:

2016

Language:

english

File:

PDF, 196 KB

english, 2016

74

[IEEE 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) - Sapporo, Japan (2016.5.18-2016.5.20)] 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) - Paraconsistent Double Negation That Can Simulate Classical Negation

Kamide, Norihiro

Year:

2016

Language:

english

File:

PDF, 182 KB

english, 2016

75

Development of Core Hot Spot Evaluation Method for Decay Heat Removal by Natural Circulation under Transient Conditions in Sodium-Cooled Fast Reactor(The 14th National Symposium on Power and Energy System)

OHSHIMA, Hiroyuki, DODA, Norihiro, KAMIDE, Hideki, WATANABE, Osamu, OHKUBO, Yoshiyuki

Year:

2010

File:

PDF, 489 KB

2010

76

Logical foundations of hierarchical model checking

Kamide, Norihiro

Journal:

Data Technologies and Applications

Year:

2018

Language:

english

File:

PDF, 316 KB

english, 2018

77

Yet another paradefinite logic: The role of conflation1

Kamide, Norihiro, Zohar, Yoni

Journal:

Logic Journal of IGPL

Year:

2018

Language:

english

File:

PDF, 1.44 MB

english, 2018

78

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic

Kamide, Norihiro, Zohar, Yoni

Journal:

Year:

2019

Language:

english

File:

PDF, 375 KB

english, 2019

79

Extending paraconsistent quantum logic: a single-antecedent/succedent system approach

Kamide, Norihiro

Journal:

Mathematical Logic Quarterly

Year:

2018

Language:

english

File:

PDF, 194 KB

english, 2018

80

[IEEE 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - Fredericton, NB, Canada (2019.5.21-2019.5.23)] 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - First-Order Nelsonian Paraconsistent Quantum Logic

Kamide, Norihiro

Year:

2019

Language:

english

File:

PDF, 173 KB

english, 2019

81

[IEEE 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - Fredericton, NB, Canada (2019.5.21-2019.5.23)] 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic

Kamide, Norihiro, Zohar, Yoni

Year:

2019

Language:

english

File:

PDF, 177 KB

english, 2019

82

Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion

Kamide, Norihiro

Journal:

Journal of Philosophical Logic

Year:

2020

File:

PDF, 449 KB

2020

83

Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion

Kamide, Norihiro

Journal:

Journal of Philosophical Logic

Year:

2020

File:

PDF, 104 KB

2020