KAMIDE Norihiro

Researcher Information

Degree

• Ph.D. (Information Science)（Japan Advanced Institute of Science and Technology）

J-Global ID

• 200901079860337960

Research Interests

• software science   artificial intelligence   philosophical logic   theoretical computer science   mathematical logic   computer science logic   

Research Areas

• Informatics / Information theory
• Humanities & social sciences / Philosophy and ethics
• Informatics / Intelligent informatics
• Natural sciences / Applied mathematics and statistics
• Natural sciences / Basic mathematics
• Informatics / Information theory

Academic & Professional Experience

• 2023/04 - Today  Nagoya City UniversityFaculty of Data ScienceProfessor
• 2015/04 - 2023/03  Teikyo UniversityFaculty of Science and Engineering, Department of Information and Electronic Engineering准教授
• 2014/04 - 2015/03  Teikyo UniversityFaculty of Science and Engineering, Department of Human Information Systems准教授
• 2013/09 - 2014/03  早稲田大学理工学術院Part-time lecturer
• 2012/04 - 2014/03  Cyber UniversityFaculty of IT and Business准教授
• 2011/10 - 2012/03  Cyber University客員准教授
• 2010/10 - 2012/03  Waseda UniversityInstitue for Advanced Study客員・招聘研究員
• 2010/04 - 2010/09  Waseda UniversityInstitue for Advanced Study准教授
• 2007/10 - 2010/04  Waseda UniversityInstitue for Advanced Study助教
• 2008/05 - 2009/09  Dresden university of technologyAlexander von Humboldt fellow
• 2007/04 - 2007/09  産業技術総合研究所関西産学官連携センター外来研究員
• 2006/07 - 2007/03  産業技術総合研究所システム検証研究センター特別研究員
• 2006/04 - 2006/10  Tokyo National College of TechnologyDepartment of Computer Science非常勤講師
• 2003/04 - 2006/03  Keio UniversityGraduate School of Letters学術振興会特別研究員PD
• 2000/04 - 2002/03  Wakayama National College of Technology助手

Education

• 1995/04 - 2000/03  Japan Advanced Institute of Science and Technology  情報科学研究科  情報処理学専攻
• 1991/04 - 1995/03  帝京技術科学大学  情報学部  情報工学科

Association Memberships

• 日本ソフトウェア科学会   人工知能学会   日本数学会   

Published Papers

• Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.

  Norihiro Kamide

  Journal of Logic, Language and Information 32 (3) 395 - 440 2023/08 [Refereed]
  
• Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic.

  Norihiro Kamide

  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 30 - 35 2023 [Refereed]
  
• Natural Deduction with Explosion and Excluded Middle.

  Norihiro Kamide

  Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 24 - 29 2023 [Refereed]
  
• An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.

  Norihiro Kamide

  Logica Universalis 16 (3) 389 - 417 2022 [Refereed]
  
• Embedding Friendly First-Order Paradefinite and Connexive Logics.

  Norihiro Kamide

  Journal of Philosophical Logic 51 (5) 1055 - 1102 2022 [Refereed]
  
• Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking.

  Norihiro Kamide

  International Journal of Software Engineering and Knowledge Engineering 32 (7) 971 - 1017 2022 [Refereed]
  
• Falsification-aware Twist Structures in Description Logic.

  Norihiro Kamide

  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 119 - 124 2022 [Refereed]
  
• Falsification-aware Semantics for Description Logics.

  Norihiro Kamide

  Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 100 - 105 2022 [Refereed]
  
• Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic

  Norihiro Kamide

  Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn (Katalin Bimbo editor), Tribute Series 46 237 - 260 2022 [Refereed]
  
• Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples.

  Norihiro Kamide

  Int. J. Softw. Eng. Knowl. Eng. 32 (1) 131 - 162 2022 [Refereed]
  
• Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking.

  Norihiro Kamide; Seidai Kanbe

  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 242 - 252 2022 [Refereed]
  
• Reasoning with Inconsistency-tolerant Fuzzy Description Logics.

  Norihiro Kamide

  Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 63 - 74 2022 [Refereed]
  
• Falsification-Aware Semantics and Sequent Calculi for Classical Logic.

  Norihiro Kamide

  J. Philos. Log. 51 (1) 99 - 126 2022 [Refereed]
  
• Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.

  Norihiro Kamide

  Studia Logica 109 (6) 1241 - 1271 2021 [Refereed]
  
• Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.

  Norihiro Kamide

  Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 8 (5) 1101 - 1122 2021 [Refereed]
  
• Notes on Avron's Self-extensional Four-valued Paradefinite Logic

  Norihiro Kamide

  51st IEEE International Symposium on Multiple-Valued Logic(ISMVL) IEEE 43 - 49 2021 [Refereed]
  
• Symmetric Paraconsistent Quantum Logic

  Norihiro Kamide

  51st IEEE International Symposium on Multiple-Valued Logic(ISMVL) IEEE 26 - 32 2021 [Refereed]
  
• Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.

  Norihiro Kamide

  J. Philos. Log. 50 (4) 781 - 811 2021 [Refereed]
  
• Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation.

  Norihiro Kamide

  J. Log. Lang. Inf. 30 (3) 491 - 531 2021 [Refereed]
  
• Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking.

  Norihiro Kamide; Noriko Yamamoto

  Proceedings of the 13th International Conference on Agents and Artificial Intelligence SCITEPRESS 490 - 499 2021 [Refereed]
  
• Completeness of Subtrilattice Logic.

  Norihiro Kamide

  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic IEEE 279 - 284 2020 [Refereed]
  
• Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information.

  Norihiro Kamide

  Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic IEEE 218 - 223 2020 [Refereed]
  
• Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

  Norihiro Kamide

  J. Philos. Log. 49 (6) 1213 - 1213 2020 [Refereed]
  
• Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

  Norihiro Kamide

  J. Philos. Log. 49 (6) 1185 - 1212 2020 [Refereed]
  
• An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information.

  Norihiro Kamide

  Proceedings of the 12th International Conference on Agents and Artificial Intelligence SCITEPRESS 313 - 321 2020 [Refereed]
  
• Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.

  Norihiro Kamide; Yoni Zohar

  Stud Logica 108 (3) 549 - 571 2020 [Refereed]
  
• Modal extension of ideal paraconsistent four-valued logic and its subsystem.

  Norihiro Kamide; Yoni Zohar

  Ann. Pure Appl. Log. 171 (10) 102830 - 102830 2020 [Refereed]
  
• Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.

  Norihiro Kamide

  Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 7 (1) 59 - 88 2020 [Refereed]
  
• Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality

  Norihiro Kamide

  Logic and Logical Philosophy 28 (3) 481 - 511 2019 [Refereed]
  
• First-Order Nelsonian Paraconsistent Quantum Logic.

  Norihiro Kamide

  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic IEEE 176 - 181 2019 [Refereed]
  
• Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic.

  Norihiro Kamide; Yoni Zohar

  Proceedings of the 49th IEEE International Symposium on Multiple-Valued Logic IEEE 120 - 125 2019 [Refereed]
  
• Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work.

  Norihiro Kamide; Juan Pedro Altamirano Bernal

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence SciTePress 869 - 878 2019 [Refereed]
  
• Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.

  Norihiro Kamide; Yuki Yano

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence SciTePress 762 - 769 2019 [Refereed]
  
• An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa.

  Norihiro Kamide

  Proceedings of the 11th International Conference on Agents and Artificial Intelligence SciTePress 377 - 387 2019 [Refereed]
  
• A Substructural View of Multilattice Logic.

  Norihiro Kamide

  Multiple-Valued Logic and Soft Computing 33 (3) 239 - 270 2019 [Refereed]
  
• Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework.

  Norihiro Kamide

  Logica Universalis 13 (1) 37 - 63 2019 [Refereed]
  
• Yet another paradefinite logic: The role of conflation.

  Norihiro Kamide; Yoni Zohar

  Log. J. IGPL 27 (1) 93 - 117 2019 [Refereed]
  
• Proof Theory of Paraconsistent Quantum Logic

  Norihiro Kamide

  Journal of Philosophical Logic Springer Netherlands 47 (2) 301 - 324 1573-0433 2018/04 [Refereed]
  
• Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples.

  Norihiro Kamide; Kazuki Endo

  Agents and Artificial Intelligence - 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised Selected Papers Springer 312 - 342 2018 [Refereed]
  
• Logics and Translations for Inconsistency-tolerant Model Checking.

  Norihiro Kamide; Kazuki Endo

  Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018. SciTePress 191 - 200 2018 [Refereed]
  
• Logical foundations of hierarchical model checking.

  Norihiro Kamide

  Data Techn. and Applic. 52 (4) 539 - 563 2018 [Refereed]
  
• Extending paraconsistent quantum logic: a single-antecedent/succedent system approach.

  Norihiro Kamide

  Math. Log. Q. 64 (4-5) 371 - 386 2018 [Refereed]
  
• Decidable temporal and sequential relevant logics.

  Norihiro Kamide

  J. Log. Comput. 28 (2) 403 - 432 2018 [Refereed]
  
• Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant

  Norihiro Kamide; Yaroslav Shramko; Heinrich Wansing

  STUDIA LOGICA SPRINGER 105 (6) 1193 - 1219 0039-3215 2017/12 [Refereed]
  
• Paraconsistent Double Negations as Classical and Intuitionistic Negations

  Norihiro Kamide

  STUDIA LOGICA SPRINGER 105 (6) 1167 - 1191 0039-3215 2017/12 [Refereed]
  
• Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 27 (7) 2271 - 2301 0955-792X 2017/10 [Refereed]
  
• Modal Multilattice Logic

  Norihiro Kamide; Yaroslav Shramko

  Logica Universalis Birkhauser Verlag AG 11 (3) 317 - 343 1661-8300 2017/09 [Refereed]
  
• Embedding from multilattice logic into classical logic and vice versa

  Norihiro Kamide; Yaroslav Shramko

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 27 (5) 1549 - 1575 0955-792X 2017/07 [Refereed]
  
• Logics with definitional reflection rules

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 27 (5) 1523 - 1548 0955-792X 2017/07 [Refereed]
  
• Natural Deduction for Connexive Paraconsistent Quantum Logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic IEEE Computer Society 207 - 212 0195-623X 2017/06 [Refereed]
  
• Extending Ideal Paraconsistent Four-Valued Logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic IEEE Computer Society 49 - 54 0195-623X 2017/06 [Refereed]
  
• Phase Semantics for Multilattice Formalism

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic IEEE Computer Society 31 - 36 0195-623X 2017/06 [Refereed]
  
• Paraconsistent sequential linear-time temporal logic and its application to clinical reasoning verification: A brief survey and future work

  KAMIDE Norihiro; Yosuke Matsuo; Mitsuhiro Ogawa

  International Journal of Applied & Experimental Mathematics 2 (2) 1 - 2 2017
• PARACONSISTENT SEQUENTIAL LINEAR-TIME TEMPORAL LOGIC: COMBINING PARACONSISTENCY AND SEQUENTIALITY IN TEMPORAL REASONING

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT 52 3 - 44 0137-2904 2017 [Refereed]
  
• An extended first-order belnap-dunn logic with classical negation

  Norihiro Kamide; Hitoshi Omori

  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer Verlag 10445 79 - 93 1611-3349 2017 [Refereed]
  
• Logics and translations for hierarchical model checking

  Norihiro Kamide; Ryu Yano

  Procedia Computer Science Elsevier B.V. 112 31 - 40 1877-0509 2017 [Refereed]
  
• Paraconsistent double negation as a modal operator

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 62 (6) 552 - 562 0942-5616 2016/12 [Refereed]
  
• Method for combining paraconsistency and probability in temporal reasoning

  Norihiro Kamide; Daiki Koizumi

  Journal of Advanced Computational Intelligence and Intelligent Informatics Fuji Technology Press 20 (5) 813 - 827 1883-8014 2016/09 [Refereed]
  
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 62 (3) 177 - 189 0942-5616 2016/05 [Refereed]
  
• Bunched sequential information

  Norihiro Kamide

  JOURNAL OF APPLIED LOGIC ELSEVIER SCIENCE BV 15 150 - 170 1570-8683 2016/05 [Refereed]
  
• Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension

  Norihiro Kamide

  2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016) IEEE COMPUTER SOC 137 - 142 0195-623X 2016 [Refereed]
  
• Paraconsistent Double Negation That Can Simulate Classical Negation

  Norihiro Kamide

  2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016) IEEE COMPUTER SOC 131 - 136 0195-623X 2016 [Refereed]
  
• Duality in Some Intuitionistic Paraconsistent Logics.

  Norihiro Kamide

  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. SciTePress 288 - 297 2016 [Refereed]
  
• Intuitionistic De Morgan Verification and Falsification Logics.

  Norihiro Kamide

  Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 2, Rome, Italy, February 24-26, 2016. SciTePress 233 - 240 2016 [Refereed]
  
• Completeness of Connexive Heyting-Brouwer Logic.

  Norihiro Kamide; Heinrich Wansing

  FLAP 3 (3) 441 - 466 2016 [Refereed]
  
• Inconsistency-tolerant temporal reasoning with hierarchical information

  Norihiro Kamide

  INFORMATION SCIENCES ELSEVIER SCIENCE INC 320 140 - 155 0020-0255 2015/11 [Refereed]
  
• Trilattice logic: an embedding-based approach

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 25 (3) 581 - 611 0955-792X 2015/06 [Refereed]
  
• Interpolation theorems for some variants of LTL

  KAMIDE Norihiro

  Reports on Mathematical Logic 50 3 - 20 2015 [Refereed]
  
• A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

  Norihiro Kamide

  LOGIC, RATIONALITY, AND INTERACTION (LORI 2015) SPRINGER INT PUBLISHING AG 9394 182 - 194 0302-9743 2015 [Refereed]
  
• Single-succedent system approach to Boolean BI

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015 ELSEVIER SCIENCE BV 60 27 - 36 1877-0509 2015 [Refereed]
  
• Combining Paraconsistency and Probability in CTL.

  Norihiro Kamide; Daiki Koizumi

  ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015. SciTePress 285 - 293 2015 [Refereed]
  
• Inconsistency and Sequentiality in LTL.

  Norihiro Kamide

  ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015. SciTePress 46 - 54 2015 [Refereed]
  
• Embedding theorems for LTL and its variants

  Norihiro Kamide

  MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE CAMBRIDGE UNIV PRESS 25 (1) 83 - 134 0960-1295 2015/01 [Refereed]
  
• Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic.

  Norihiro Kamide

  Int. J. Software and Informatics 9 (1) 73 - 92 2015 [Refereed]
  
• Inconsistency-Tolerant Multi-Agent Calculus

  Norihiro Kamide

  INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS WORLD SCIENTIFIC PUBL CO PTE LTD 22 (6) 815 - 829 0218-4885 2014/12 [Refereed]
  
• AN EIGHT-VALUED PRACONSISTENT LOGIC

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT 49 3 - 21 0137-2904 2014 [Refereed]
  
• A Hierarchy of Weak Double Negations

  Norihiro Kamide

  STUDIA LOGICA SPRINGER 101 (6) 1277 - 1297 0039-3215 2013/12 [Refereed]
  
• Representing any-time and program-iteration by infinitary conjunction

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 23 (3) 284 - 298 1166-3081 2013/07 [Refereed]
  
• Temporal BI: Proof system, semantics and translations

  Norihiro Kamide

  THEORETICAL COMPUTER SCIENCE ELSEVIER SCIENCE BV 492 40 - 69 0304-3975 2013/06 [Refereed]
  
• Temporal Gödel-Gentzen and Girard translations

  Norihiro Kamide

  Mathematical Logic Quarterly 59 (1-2) 66 - 83 0942-5616 2013/02 [Refereed]
  
• Strong normalization in some temporal substructural logics

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 23 (1) 1 - 24 0955-792X 2013/02 [Refereed]
  
• Inconsistency-tolerant bunched implications

  Norihiro Kamide

  INTERNATIONAL JOURNAL OF APPROXIMATE REASONING ELSEVIER SCIENCE INC 54 (2) 343 - 353 0888-613X 2013/02 [Refereed]
  
• A comparison of paraconsistent description logics

  Norihiro Kamide

  International Journal of Intelligence Science 3 (2) 99 - 109 2013 [Refereed]
  
• An extended LTL for inconsistency-tolerant reasoning with hierarchical information: Verifying students' learning processes

  Norihiro kamide

  International Journal of e-Education, e-Business, e-Management and e-Learning 3 (3) 234 - 238 2013 [Refereed]
  
• Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity

  Norihiro Kamide

  2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013) IEEE 1865 - 1870 1062-922X 2013 [Refereed]
  
• Modeling and verifying inconsistency-tolerant temporal reasoning with hierarchical information: Dealing with students' learning processes

  Norihiro Kamide

  Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 IEEE 1859 - 1864 2013 [Refereed]
  
• The logic of information merge and sequential information

  Norihiro Kamide

  Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013 IEEE 1853 - 1858 2013 [Refereed]
  
• Embedding-based methods for trilattice logic

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic IEEE Computer Society 237 - 242 0195-623X 2013 [Refereed]
  
• On natural eight-valued reasoning

  Norihiro Kamide

  Proceedings of The International Symposium on Multiple-Valued Logic IEEE Computer Society 231 - 236 0195-623X 2013 [Refereed]
  
• Reasoning about Resources and Information: A Linear Logic Approach

  Norihiro Kamide; Ken Kaneiwa

  FUNDAMENTA INFORMATICAE IOS PRESS 125 (1) 51 - 70 0169-2968 2013 [Refereed]
  
• Embedding-based approaches to paraconsistent and temporal description logics*

  Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 22 (5) 1097 - 1124 0955-792X 2012/10 [Refereed]
  
• Bounded linear-time temporal logic: A proof-theoretic investigation

  Norihiro Kamide

  ANNALS OF PURE AND APPLIED LOGIC ELSEVIER SCIENCE BV 163 (4) 439 - 466 0168-0072 2012/04 [Refereed]
  
• Combining intuitionistic logic with paraconsistent operators

  Norihiro Kamide

  Logique et Analyse 55 (217) 1 - 15 2012 [Refereed]
  
• Reasoning about context information in cloud computing environments

  Norihiro Kamide; Yishui Zhu

  Journal of Software Engineering and Applications 5 (11) 944 - 951 2012 [Refereed]
  
• Proof theory of Nelson's paraconsistent logic: A uniform perspective

  Norihiro Kamide; Heinrich Wansing

  THEORETICAL COMPUTER SCIENCE ELSEVIER SCIENCE BV 415 1 - 38 0304-3975 2012/01 [Refereed]
  
• Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking.

  Norihiro Kamide

  Trans. Computational Collective Intelligence Springer 6 181 - 201 2012 [Refereed]
  
• STRONG NORMALIZATION OF A TYPED LAMBDA CALCULUS FOR INTUITIONISTIC BOUNDED LINEAR-TIME TEMPORAL LOGIC

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC JAGIELLONIAN UNIV, THEORETICAL COMPUTER SCIENCE DEPT 47 29 - 61 0137-2904 2012 [Refereed]
  
• Paraconsistent Computation Tree Logic

  Ken Kaneiwa; Norihiro Kamide

  NEW GENERATION COMPUTING SPRINGER 29 (4) 391 - 408 0288-3635 2011/10 [Refereed]
  
• Synchronized Linear-Time Temporal Logic

  Heinrich Wansing; Norihiro Kamide

  STUDIA LOGICA SPRINGER 99 (1-3) 365 - 388 0039-3215 2011/10 [Refereed]
  
• Completeness and cut-elimination theorems for trilattice logics

  Norihiro Kamide; Heinrich Wansing

  ANNALS OF PURE AND APPLIED LOGIC ELSEVIER SCIENCE BV 162 (10) 816 - 835 0168-0072 2011/10 [Refereed]
  
• Notes on Craig interpolation for LJ with strong negation

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-BLACKWELL 57 (4) 395 - 399 0942-5616 2011/08 [Refereed]
  
• CUT-ELIMINATION AND COMPLETENESS IN DYNAMIC TOPOLOGICAL AND LINEAR-TIME TEMPORAL LOGICS

  Norihiro Kamide

  LOGIQUE ET ANALYSE CENTRE NATIONAL BELGE RECHERCHES LOGIQUE 54 (215) 379 - 394 0024-5836 2011/07 [Refereed]
  
• Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator

  Ken Kaneiwa; Norihiro Kamide

  INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS WILEY-BLACKWELL 26 (7) 636 - 651 0884-8173 2011/07 [Refereed]
  
• Phase semantics for linear-time formalism

  Norihiro Kamide

  LOGIC JOURNAL OF THE IGPL OXFORD UNIV PRESS 19 (1) 121 - 143 1367-0751 2011/02 [Refereed]
  
• Connexive modal logic based on positive S4

  KAMIDE Norihiro; Heinrich Wansing

  Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, (Jean-Yves Beziau and Marcelo Esteban Coniglio, eds.) 17 389 - 410 2011 [Refereed]
  
• Reasoning about resource-sensitive multi-agents

  KAMIDE Norihiro

  Multi-Agent Systems: Modeling, Control, Programming, Simulations and Applications, Faisal Alkhateeb, Eslam Al Maghayreh and Iyad Abu Doush (Eds.) 143 - 158 2011 [Refereed]
  
• Paraconsistent Semantics for Description Logics: A Comparison

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I SPRINGER 6881 599 - 608 0302-9743 2011 [Refereed]
  
• Interpolation Theorems for Some Extended Description Logics

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II SPRINGER 6882 246 - 255 0302-9743 2011 [Refereed]
  
• A Decidable First-Order Logic for Medical Reasoning

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II SPRINGER 6882 235 - 245 0302-9743 2011 [Refereed]
  
• On Temporal Gödel-Gentzen Translation.

  Norihiro Kamide

  Knowlege-Based and Intelligent Information and Engineering Systems - 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II Springer 225 - 234 2011 [Refereed]
  
• A logic of sequences.

  Norihiro Kamide

  Reports on Mathematical Logic 46 29 - 57 2011 [Refereed]
  
• Concept finding proofs

  Norihiro Kamide

  Journal of Advanced Computational Intelligence and Intelligent Informatics Fuji Technology Press 15 (7) 777 - 784 1883-8014 2011 [Refereed]
  
• A Paraconsistent Linear-time Temporal Logic

  Norihiro Kamide; Heinrich Wansing

  FUNDAMENTA INFORMATICAE IOS PRESS 106 (1) 1 - 23 0169-2968 2011 [Refereed]
  
• Intuitionistic Trilattice Logics

  Heinrich Wansing; Norihiro Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 20 (6) 1201 - 1229 0955-792X 2010/12 [Refereed]
  
• Combining linear-time temporal logic with constructiveness and paraconsistency

  Norihiro Kamide; Heinrich Wansing

  JOURNAL OF APPLIED LOGIC ELSEVIER SCIENCE BV 8 (1) 33 - 61 1570-8683 2010/03 [Refereed]
  
• Strong normalization theorems for quantized lambda calculi

  Norihiro Kamide

  Far East Journal of Applied Mathematics 44 (1) 1 - 35 2010 [Refereed]
  
• Notes on an extension of Davies' logic for binding-time analysis

  Norihiro Kamide

  Far East Journal of Applied Mathematics 44 (1) 37 - 57 2010 [Refereed]
  
• Strong normalization of program-indexed lambda calculus

  Norihiro Kamide

  Bulletin of the Section of Logic 39 (1) 65 - 78 2010 [Refereed]
  
• Symmetric and dual paraconsistent logics

  Norihiro Kamide; Heinrich Wansing

  Logic and Logical Philosophy 19 (1) 7 - 30 2010 [Refereed]
  
• Sequential description logic

  Norihiro Kamide

  Far East Journal of Applied Mathematic 47 (1) 1 - 10 2010 [Refereed]
  
• An embedding-based completeness proof for Nelson's paraconsistent logic

  Norihiro Kamide

  Bulletin of the Section of Logic 39 (3) 205 - 214 2010 [Refereed]
  
• A Logic for Conceptual Hierarchies

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 SPRINGER-VERLAG BERLIN 6404 303 - 312 0302-9743 2010 [Refereed]
  
• A Proof System for Temporal Reasoning with Sequential Information

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 SPRINGER-VERLAG BERLIN 6404 283 - 292 0302-9743 2010 [Refereed]
  
• A Sequent Calculus for 3-Dimensional Space

  Norihiro Kamide

  ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010 SPRINGER-VERLAG BERLIN 6404 263 - 272 0302-9743 2010 [Refereed]
  
• A Proof System for Time-Dependent Multi-agents

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I SPRINGER-VERLAG BERLIN 6276 178 - 187 0302-9743 2010 [Refereed]
  
• A Logic for Incomplete Sequential Information

  Norihiro Kamide

  KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II SPRINGER-VERLAG BERLIN 6277 153 - 162 0302-9743 2010 [Refereed]
  
• REASONING ABOUT BOUNDED TIME DOMAIN An Alternative to NP-Complete Fragments of LTL

  Norihiro Kamide

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION 536 - 539 2010 [Refereed]
  
• BRANCHING-TIME VERSUS LINEAR-TIME A Cooperative and Feasible Approach

  Norihiro Kamide

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION 522 - 526 2010 [Refereed]
  
• PARACONSISTENT NEGATION AND CLASSICAL NEGATION IN COMPUTATION TREE LOGIC

  Norihiro Kamide; Ken Kaneiwa

  ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION 464 - 469 2010 [Refereed]
  
• A Compatible Approach to Temporal Description Logics.

  Norihiro Kamide

  Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 CEUR-WS.org 2010 [Refereed]
  
• Paraconsistent Description Logics Revisited.

  Norihiro Kamide

  Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 CEUR-WS.org 2010 [Refereed]
  
• AUTOMATING AND COMPUTING PARACONSISTENT REASONING: CONTRACTION-FREE, RESOLUTION AND TYPE SYSTEMS

  Norihiro Kamide

  REPORTS ON MATHEMATICAL LOGIC JAGIELLONIAN UNIV, INST ENVIRONMENTAL SCIENCES 45 3 - 21 0137-2904 2010 [Refereed]
  
• Completeness for Generalized First-Order LTL

  Norihiro Kamide

  KI 2010: ADVANCES IN ARTIFICIAL INTELLIGENCE SPRINGER-VERLAG BERLIN 6359 246 - 254 0302-9743 2010 [Refereed]
  
• Resource-Sensitive Reasoning with Sequential Information.

  Norihiro Kamide; Ken Kaneiwa

  AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings Springer 22 - 31 2010 [Refereed]
  
• SEQUENCE-INDEXED LINEAR-TIME TEMPORAL LOGIC: PROOF SYSTEM AND APPLICATION

  Ken Kaneiwa; Norihiro Kamide

  APPLIED ARTIFICIAL INTELLIGENCE TAYLOR & FRANCIS INC 24 (10) 896 - 913 0883-9514 2010 [Refereed]
  
• SEQUENT CALCULI FOR SOME TRILATTICE LOGICS

  Norihiro Kamide; Heinrich Wansing

  REVIEW OF SYMBOLIC LOGIC CAMBRIDGE UNIV PRESS 2 (2) 374 - 395 1755-0203 2009/06 [Refereed]
  
• Proof systems combining classical and paraconsistent negations

  Norihiro Kamide

  Studia Logica 91 (2) 217 - 238 0039-3215 2009/03 [Refereed]
  
• Strong normalization of program-indexed lambda calculus

  Norihiro Kamide

  Bulletin of the Section of Logic 39 (1月2日) 65 - 78 2009 [Refereed]
  
• Temporal non-commutative logic: Expressing time, resource, order and hierarchy

  Norihiro Kamide

  Logic and Logical Philosophy 18 97 - 126 2009 [Refereed]
  
• Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.

  Norihiro Kamide; Ken Kaneiwa

  AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings Springer 485 - 494 2009 [Refereed]
  
• Dynamic non-commutative logic

  Norihiro Kamide

  Journal of Logic, Language and Information 19 (1) 33 - 51 0925-8531 2009/01 [Refereed]
  
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

  Norihiro Kamide

  COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS SPRINGER-VERLAG BERLIN 5405 57 - 76 0302-9743 2009 [Refereed]
  
• A linear logic based approach to timed Petri nets

  KAMIDE Norihiro

  Petri Net--Theory and Applications 207 - 224 2008 [Refereed]
  
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

  Norihiro Kamide

  LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS SPRINGER-VERLAG BERLIN 5293 245 - 257 0302-9743 2008 [Refereed]
  
• Strong normalizability of typed lambda-calculi for substructural logics

  Motohiko Mouri; Norihiro Kamide

  Logica Universalis 2 (2) 189 - 207 1661-8297 2008 [Refereed]
  
• Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning

  KAMIDE Norihiro

  Reports on Mathematical Logic 52 3 - 44 2007 [Refereed]
  
• Temporalizing linear logic

  Norihiro Kamide

  Bulletin of the Section of Logic 36 (3月4日) 173 - 182 2007 [Refereed]
  
• Natural deduction systems for some non-commutative logics

  Norihiro Kamide; Motohiko Mouri

  Logic and Logical Philosophy 16 (2月3日) 105 - 146 2007 [Refereed]
  
• Synthesized substructural logics

  Norihiro Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 53 (3) 219 - 225 0942-5616 2007 [Refereed]
  
• A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming.

  Norihiro Kamide

  Journal of Functional and Logic Programming 2007 2007 [Refereed]
  
• Towards a theory of resource: An approach based on soft exponentials

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 17 (1) 63 - 89 1166-3081 2007 [Refereed]
  
• Phase semantics and petri net interpretation for resource-sensitive strong negation

  Norihiro Kamide

  Journal of Logic, Language and Information 15 (4) 371 - 401 0925-8531 2006/11 [Refereed]
  
• Foundations of paraconsistent resolution

  Norihiro Kamide

  FUNDAMENTA INFORMATICAE IOS PRESS 71 (4) 419 - 441 0169-2968 2006/06 [Refereed]
  
• Linear and affine logics with temporal, spatial and epistemic operators

  N Kamide

  THEORETICAL COMPUTER SCIENCE ELSEVIER SCIENCE BV 353 (1-3) 165 - 207 0304-3975 2006/03 [Refereed]
  
• An equivalence between sequent calculi for linear-time temporal logic

  Norihiro Kamide

  Bulletin of the Section of Logic 35 (4) 187 - 194 2006 [Refereed]
  
• Extended full computation-tree logics for paraconsistent model checking

  Norihiro Kamide

  Logic and Logical Philosophy 15 (3) 251 - 276 2006
• Gentzen-type methods for bilattice negation

  Norihiro Kamide

  Studia Logica 80 (2-3) 265 - 289 0039-3215 2005/08 [Refereed]
  
• Gentzen-type calculi for involutive quantales

  N Kamide

  INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS SPRINGER/PLENUM PUBLISHERS 44 (4) 399 - 428 0020-7748 2005/04
• Linear logics with communication-merge

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 15 (1) 3 - 20 0955-792X 2005/02 [Refereed]
  
• A cut-free system for 16-valued reasoning

  Norihiro Kamide

  Bulletin of the Section of Logic 34 (4) 213 - 225 2005 [Refereed]
  
• Cut-free single-succedent systems revisited

  Norihiro Kamide

  Bulletin of the Section of Logic 34 (3) 165 - 175 2005 [Refereed]
  
• On a logic of involutive quantales

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 51 (6) 579 - 585 0942-5616 2005 [Refereed]
  
• A spatial modal logic with a location interpretation

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 51 (4) 331 - 341 0942-5616 2005 [Refereed]
  
• Natural deduction systems for Nelson's paraconsistent logic and its neighbors

  Norihiro Kamide

  Journal of Applied Non-Classical Logics 15 (4) 405 - 435 1166-3081 2005 [Refereed]
  
• Combining soft linear logic and spatio-temporal operators

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 14 (5) 625 - 650 0955-792X 2004/10 [Refereed]
  
• A relationship between Rauszer's H-B logic and Nelson's logic

  Norihiro Kamide

  Bulletin of the Section of Logic 33 (4) 237 - 249 2004 [Refereed]
  
• Quantized Linear Logic, Involutive Quantales and Strong Negation.

  Norihiro Kamide

  Studia Logica 77 (3) 355 - 384 2004 [Refereed]
  
• Normal modal substructural logics with strong negation

  N Kamide

  JOURNAL OF PHILOSOPHICAL LOGIC KLUWER ACADEMIC PUBL 32 (6) 589 - 612 0022-3611 2003/12 [Refereed]
  
• A simplified semantics for a fragment of intuitionistic linear logic

  Norihiro Kamide

  Bulletin of the Section of Logic 32 (3) 121 - 127 2003 [Refereed]
  
• A note on dual-intuitionistic logic

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 49 (5) 519 - 524 0942-5616 2003 [Refereed]
  
• Classical linear logics with mix separation principle

  N Kamide

  MATHEMATICAL LOGIC QUARTERLY WILEY-V C H VERLAG GMBH 49 (2) 201 - 209 0942-5616 2003 [Refereed]
  
• Relevance principle for substructural logics with mingle and strong negation

  N Kamide

  JOURNAL OF LOGIC AND COMPUTATION OXFORD UNIV PRESS 12 (6) 913 - 928 0955-792X 2002/12 [Refereed]
  
• Sequent calculi for intuitionistic linear logic with strong negation

  N Kamide

  LOGIC JOURNAL OF THE IGPL OXFORD UNIV PRESS 10 (6) 653 - 678 1367-0751 2002/11 [Refereed]
  
• A Canonical Model Construction for Substructural Logics with Strong Negation.

  Norihiro Kamide

  Reports on Mathematical Logic 36 95 - 116 2002 [Refereed]
  
• Kripke semantics for modal substructural logics

  Norihiro Kamide

  Journal of Logic, Language and Information Springer Netherlands 11 (4) 453 - 470 1572-9583 2002 [Refereed]
  
• Substructural Logics with Mingle

  Norihiro Kamide

  Journal of Logic, Language and Information Springer Netherlands 11 (2) 227 - 249 1572-9583 2002 [Refereed]
  
• A note on decision problems for implicational sequent calculi

  KAMIDE Norihiro

  Bulletin of the Section of Logic 30 (3) 129 - 138 2001 [Refereed]
  
• Cut elimination theorems and a canonical model construction for some implicational substructural logics

  Norihiro Kamide

  Scientiae Mathematicae Japonicae 54 (2) 249 - 257 2001 [Refereed]
  
• Substructural implicational logics including the relevant logic

  Ryo Kashima; Norihiro Kamide

  Studia Logica Springer Netherlands 63 (2) 181 - 212 1572-8730 1999 [Refereed]
  

Research Grants & Projects

• 矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用

  日本学術振興会：科学研究費助成事業 基盤研究(C)

  Date (from‐to) : 2023/04 -2028/03 

  Author : 上出 哲広
• 拡張矛盾許容推論技術とその臨床推論・知識検証への応用

  公益財団法人高橋産業経済研究財団研究助成金

  Date (from‐to) : 2022/04 -2023/03 

  Author : 上出哲広, 小川充洋
• 非古典論理の基礎理論とそのコンピュータサイエンスへの応用

  科学研究費補助金（基盤研究C）

  Date (from‐to) : 2018/04 -2023/03 

  Author : 上出哲広
• 拡張矛盾許容モデル検査技術の開発と臨床推論・知識検証技法の確立

  一般財団法人日本産業科学研究所研究助成金：

  Date (from‐to) : 2020/11 -2021/03 

  Author : 上出哲広
• 埋め込み定理に基づく新しい矛盾許容論理に関する研究

  科学研究費補助金（国際協同研究加速基金）

  Date (from‐to) : 2018/04 -2021/03 

  Author : 上出哲広
• 矛盾許容モデル検査の基礎と応用

  栢森情報科学振興財団助成金

  Date (from‐to) : 2018/01 -2019/12 

  Author : 上出哲広
• 知識推論システムの論理的基礎付け

  科学研究費補助金（基盤研究C）

  Date (from‐to) : 2014/04 -2019/03 

  Author : 上出哲広
• 矛盾許容時間論理とその応用

  大川情報通信基金研究助成金

  Date (from‐to) : 2015/04 -2016/03 

  Author : 上出哲広
• Non-classical logics and their applications to computer science

  Alexander von Humboldt Foundation 研究奨励金（Alumni Research Stay Program）

  Date (from‐to) : 2013/08 -2014/07 

  Author : 上出哲広

   

  職務の都合により辞退.
• Studia Logica International Conference on Advances in Philosophical Logic

  Alexander von Humboldt Foundation 招待講演発表補助金

  Date (from‐to) : 2012/05 -2012/05 

  Author : 上出哲広
• Substructural logics and their applications to computer science

  Japan Society for the Promotion of Science：Grants-in-Aid for Scientific Research Grant-in-Aid for Young Scientists (B)

  Date (from‐to) : 2008 -2011 

  Author : KAMIDE Norihiro

   

  The aim of this study is to construct proof systems and semantics for substuructural logics, and to propose computer science applications of these proof systems and semantics. In this study, we construct some proof systems and semantics for some temporal and paraconsistent substructural logics, and propose some new applications(such as software model checking and Web ontology languages) of the proposed proof systems and semantics. We have obtained some theoretical results(such as completeness and decidability results) on the proposed proof systems and semantics.
• Proof systems for substructural logics: Cut-elimination, normalization and completeness

  Alexander von Humboldt Foundation 研究奨励金

  Date (from‐to) : 2008 -2009 

  Author : 上出哲広
• Proof systems for substructural logics: Cut-elimination, normalization and completeness

  日本学術振興会海外渡航補助金

  Date (from‐to) : 2008 -2008 

  Author : 上出哲広
• 部分構造論理とそのソフトウェア記述への応用

  科学研究費補助金（日本学術振興会特別研究員奨励費）

  Date (from‐to) : 2003/04 -2006/03 

  Author : 上出哲広

Committee Membership

• 2022 - Today   IEEE   The 53rd IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2022 -2023   The 15th International Conference on Agents and Artificial Intelligence プログラム委員
• 2021 -2022   IEEE   The 52nd IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2021 -2022   The 14th International Conference on Agents and Artificial Intelligence プログラム委員
• 2020 -2021   The 13th International Conference on Agents and Artificial Intelligence プログラム委員
• 2020 -2021   IEEE   The 51st IEEE International Symposium on Multiple-Valued Logic プログラム委員
• 2019 -2020   The 50th IEEE International Symposium on Multiple-Valued Logic

Other link

researchmap

https://researchmap.jp/read0195280