Kondo Michiro 近藤通朗

… Alternative Names

KONDO Michiro 近藤通朗

KONDO Michio 近藤通朗

近藤道朗コンドウミチロウ

近藤通朗コンドウミチロウ

Less

Researcher Number	40211916
Other IDs
External Links
Affiliation (Current)	2025: 東京電機大学, システムデザイン工学部, 特定教授
Affiliation (based on the past Project Information) *help	2017: 東京電機大学, システムデザイン工学部, 教授 2012 – 2016: 東京電機大学, 情報環境学部, 教授 2002 – 2005: 東京電機大学, 情報環境学部, 教授 1996 – 2001: 島根大学, 総合理工学部, 助教授 1993 – 1994: 東邦大学, 理学部, 講師 1993: 東邦大学, 理学部・情報科学科, 講師
Review Section/Research Field	Principal Investigator Fundamental theory of informatics / Theory of informatics / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Algebra / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator congruence / categorically equivalent / residuated t-norm / bilattice / 特徴付け定理 / derivation / 非可換剰余束 / state 演算子 / state 剰余束 / state … More / residuated lattice / fixed point theorem / fuzzy logic / BCK-algebra / ideal / transfer principle / BCI-algebra / BCK / quotient algebra / prime bifilter / t-norm / 様相演算子 / 不動点意味論 / 不動点定理 / fuzzy論理 / BCK-代数 / 国際情報交換 / Galois connection / residauted lattices / ガロア結合 / 決定可能性 / 剰余束 / 部分構造論理 / 含意演算子 / クリーネ代数 / ファジイ代数 … More Except Principal Investigator 融合 / アルゴリズム / semigroup / 語の問題 / rewriting system / amalgamation / representation / 半群 / 自由融合積 / 群 / homotopy / 融合問題 / 岩沢不変 / レトラクト / ホモトピー / ファイバー / algorithm / computation / automata / free monoid / formal language / 書き換えシステム / 表現 / 組合せ半群論 / Duality / Control operator / Galois connection / Curry-Howard isomorphism / Abstract data types / Polymorphic functions / CPS-translation (continuation) / λμ-calculus / 完備半順序集合(CPO) / 不動点演算子 / タイプフリーラムダ計算 / 継続的意味論 / タイプフリーラムダミュウ計算 / Cモノイド / スコット領域 / 継続 / 表示的意味論 / CPS変換 / 双対性 / 制御オペレータ / ガロア対応 / カリー・ハワード同型 / 抽象データ型 / 多相型関数 / CPS変換(継続) / λμ計算 / Iwasawa theory / caluculus / fibre / amalgam / 不値環 / メンバーズシップ問題 / 岩沢変換 / 計算論理 / Iwasawa invariant / Retract / Logic programming / Fiber / generalized *-semigroup / membership問題 / 組合せ / レトアクト / 論理プログラミング / 一般化された逆半群 / loop / universal algebra / valuation ring / amalgamation base / automaton / combinatorial semigroup theory / 非可換付値環 / ホップ代数 / 正則半群 / 一般代数系 / 組合せ半群 / ループ / 一般代数 / 付値環 / 融合基 / オートマトン / 計算理論 / オートマタ / 自由モノイド / 形式言語 / リー代数 / 逆半群 / 有限表示 / クリーネ論理 / 語の代数系 / 代数曲面 / ランダムウォーク / Brown運動 / モノイド / 書換えシステム / 代数系 Less

States on non-commutative residuated latticesPrincipal Investigator
- Principal Investigator
  
  KONDO Michiro
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Theory of informatics
- Research Institution
  Tokyo Denki University
Substructural logic with Galois connectionPrincipal Investigator
- Principal Investigator
  
  KONDO Michiro
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tokyo Denki University
Algebraic semantics for logic programs with negationPrincipal Investigator
- Principal Investigator
  
  KONDO Michiro
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Tokyo Denki University
A study on denotational semantics of λμ-calculus
- Principal Investigator
  
  FUJITA Ken-etsu
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Gunma University
  Shimane University
Combinatorial semigroup theory and its applications
- Principal Investigator
  
  SHOJI Kunitaka
- Project Period (FY)
  2001 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
Combinatorial semigroup theory and its applications
- Principal Investigator
  
  SHOJI Kunitaka
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
Semigroups, Formal Languages and Computation
- Principal Investigator
  
  IMAOKA Teruo
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
COMBINATORIAL SEMIGROUP THEORY AND ITS APPLICATIONS
- Principal Investigator
  
  UEDA Akira
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  SHIMANE UNIVERSITY
組合せ半群論とその応用
- Principal Investigator
  
  SHOJI Kunitaka
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Shimane University
確率測度の構造の解析的・代数的研究
- Principal Investigator
  
  志村道夫
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Toho University
代数系の語の問題の組合せ論的研究
- Principal Investigator
  
  KOBAYASHI Yuji
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Algebra
- Research Institution
  Toho University
含意をもつファジイ代数の構造についてPrincipal Investigator
- Principal Investigator
  
  近藤通朗
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Toho University

All 2018 2017 2016 2015 2014 2013 2012 2006 2005 2004 Other

All Journal Article Presentation

[Journal Article] Derivations of commutative residuated lattices2018
- Author(s)
  Michiro Kondo
- Journal Title
  
  Bulletin of Iranian Mathematical Society
  
  Volume: 印刷中
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Generalized state operators on residuated lattices2017
- Author(s)
  M. Kondo
- Journal Title
  
  Soft Computing
  
  Volume: 20 Issue: 20 Pages: 6063-6071
- DOI
  10.1007/s00500-016-2324-6
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Simple axiomatization of reticulations on residuated lattices2017
- Author(s)
  Michiro Kondo
- Journal Title
  
  Bulletin of Iranian Mathematical Society
  
  Volume: 43 Pages: 943-949
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Simple Characterizations of Perfect Residuated Lattices2016
- Author(s)
  M. Kondo
- Journal Title
  
  IEEE Proc. of ISMVL 2016
  
  Volume: - Pages: 167-171
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Some Properties of Generalized State Operators on Residuated Lattices2016
- Author(s)
  M. Kondo and M. F. Kawaguchi
- Journal Title
  
  IEEE Proc. of ISMVL 2016
  
  Volume: - Pages: 162-166
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Quotient Structures of Non-Commutative Residuated Lattices2015
- Author(s)
  M. Kondo
- Journal Title
  
  2015 IEEE International Symposium on Multiple-Valued Logic
  
  Volume: 45 Pages: 20-23
- DOI
  10.1109/ismvl.2015.30
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] On residuated lattices with universal quantifiers2015
- Author(s)
  M. Kondo
- Journal Title
  
  The Bulletin of the Iranian Mathematical Society
  
  Volume: 41 Pages: 923-929
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] On residuated lattices with universal quantifiers2015
- Author(s)
  Michiro Kondo
- Journal Title
  
  The Bulletin of the Iranian Mathematical Society
  
  Volume: 41
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] Construction of Associative Functions for Several Fuzzy Logics via the Ordinal Sum Theorem2015
- Author(s)
  M. F. Kawaguchi and M. Kondo
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9376 Pages: 43-53
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Residuated lattices with Galois connections as monadic operators2015
- Author(s)
  Michiro Kondo
- Journal Title
  
  Journal of Intelligent & Fuzzy Systems
  
  Volume: 29
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] An Algebraic Aspect of Correspondences Between Implicational Fragment Logics and Fuzzy Logics2015
- Author(s)
  M. F. Kawaguchi and M.Kondo
- Journal Title
  
  Journal of Advanced Computational Intelligence and Intelligent Informatics
  
  Volume: 19 Pages: 861-866
- NAID
  130007673298
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K00024
[Journal Article] Hidden modalities in algebras with negation and implication2013
- Author(s)
  J. Jarvinen, M. Kondo, J. Mattila and S. Radeleczki
- Journal Title
  
  Mathematics for Applications
  
  Volume: 2 Issue: 1 Pages: 5-20
- DOI
  10.13164/ma.2013.02
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] Join Operations on Commutative BCK-Algebras with Condition (S)2013
- Author(s)
  M.F. Kawaguchi, K. Minami and M. Kondo
- Journal Title
  
  Proc. IEEE ISMVL 2013
  
  Volume: 43 Pages: 209-211
- DOI
  10.1109/ismvl.2013.34
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] Intuitionistic modal logic with a galois connection has the finite model property2013
- Author(s)
  W. Dzik, J. Jarvinen and M. Kondo
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 21 Issue: 2 Pages: 199-204
- DOI
  10.1093/jigpal/jzs016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] Modal Operators on Non-commutative Residuated Lattices2012
- Author(s)
  M.Kondo and M.F.Kawaguchi
- Journal Title
  
  Proceedings of IEEE ISMVL 2012
  
  Volume: 42 Pages: 85-88
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] Prime Filters on Residuated Lattices2012
- Author(s)
  M.Kondo and E.Turunen
- Journal Title
  
  Proceedings of IEEE ISMVL2012
  
  Volume: 42 Pages: 89-91
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500024
[Journal Article] On the structure of generalized rough sets2006
- Author(s)
  Michiro Kondo
- Journal Title
  
  Information Sciences vol.176
  
  Pages: 589-600
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] On the structure of generalized rough sets2006
- Author(s)
  Michiro Kondo
- Journal Title
  
  Information Sciences 176
  
  Pages: 589-600
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] On the Transfer Principle in Fuzzy Theory2005
- Author(s)
  Michiro Kondo
- Journal Title
  
  Mathware and Soft Computing 12
  
  Pages: 41-55
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Algebraic approach to generalized rough sets2005
- Author(s)
  Michiro Kondo
- Journal Title
  
  Lecture Notes in Computer Science 3641
  
  Pages: 132-140
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] On the Transfer Principle in Fuzzy Theory2005
- Author(s)
  Michiro Kondo
- Journal Title
  
  Mathware and Soft Computing vol.12
  
  Pages: 41-55
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Topological properties of generalized rough sets2005
- Author(s)
  M.Kondo
- Journal Title
  
  Information Sciences (In Press)
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Algebraic approach to generalized rough sets2005
- Author(s)
  Michiro Kondo
- Journal Title
  
  Lecture Notes in Computer Science vol.3461
  
  Pages: 132-140
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Characterization theorem of lattice implication algebras2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  IEEE Proc.34th International Symposium for Multiple-Valued Logic vol.34
  
  Pages: 257-260
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Fuzzy congruences on groups2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  Quasigroups and Related Systems vol.11
  
  Pages: 59-70
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] On the class of QS-algebras2004
- Author(s)
  M.Kondo
- Journal Title
  
  Intern.Jour.of Math.and Math.Sciences 49
  
  Pages: 2629-2639
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] On the class of QS-algebras2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  Intern.Jour.of Math.and Math.Sciences vol.49
  
  Pages: 2629-2639
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] ON the class of QS-algebras2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  Intern. Jour. of Math. and Math. Sciences 49
  
  Pages: 2629-2639
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Fuzzy congruences on groups2004
- Author(s)
  M.Kondo
- Journal Title
  
  Quasigroups and Related Systems 11
  
  Pages: 59-70
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Characterization Theorem of Lattice Implication Algebras2004
- Author(s)
  M.Kondo
- Journal Title
  
  Proc.IEEE 34th International Symposium on Multiple-Valued Logic
  
  Pages: 257-260
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Characterization theorem of lattice implication algebras2004
- Author(s)
  Michio Kondo
- Journal Title
  
  Proc.34th International Symposium on Multiple-Valued Logics
  
  Pages: 257-206
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] Characterization theorem of lattice implication algebras2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  IEEE Proc. 34th International Symposium for Multiple-Valued Logic 34
  
  Pages: 257-260
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Fuzzy congruences on groups2004
- Author(s)
  Michiro Kondo
- Journal Title
  
  Quasigroups and Related Systems 11
  
  Pages: 59-70
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500016
[Journal Article] Characterization theorem of lattice implication algebra2004
- Author(s)
  Michio Kondo
- Journal Title
  
  Proc.34th International Symposium on Multi-Valued Logics
  
  Pages: 257-260
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Journal Article] On the class of QS-algebras2004
- Author(s)
  Michio Kondo
- Journal Title
  
  International Journal of Mathematics and Mathematical Sciences 49-1
  
  Pages: 2629-2639
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14540119
[Presentation] Multiplicative derivations of commutative residuated lattices2017
- Author(s)
  Michiro Kondo
- Organizer
  TACL 2017
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Simple Characterizations of Perfect Residuated Lattices2016
- Author(s)
  M. Kondo
- Organizer
  ISMVL 2016
- Place of Presentation
  北海道大学，札幌市，北海道
- Year and Date
  2016-05-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Reticulations on residuated lattices2016
- Author(s)
  M. Kondo
- Organizer
  AAA92
- Place of Presentation
  プラハ，チェコ共和国
- Year and Date
  2016-05-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Reticulations on residuated lattices2016
- Author(s)
  近藤通朗
- Organizer
  91st Workshop on General Algebra (AAA91)
- Place of Presentation
  Brno, Czeche Republic
- Year and Date
  2016-02-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Reticulations on residuated lattices: simple characterization2016
- Author(s)
  近藤通朗
- Organizer
  RIMS研究集会
- Place of Presentation
  京都大学数理解析研究所（京都）
- Year and Date
  2016-02-15
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Residuated lattices with Galois connections as monadic operators2015
- Author(s)
  近藤通朗
- Organizer
  CLMPS 2015
- Place of Presentation
  Helsinki, Finland
- Year and Date
  2015-08-03
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] 剰余束上のreticulation について2015
- Author(s)
  近藤通朗
- Organizer
  第38回多値論理フォーラム
- Place of Presentation
  北海道大学，札幌
- Year and Date
  2015-09-12
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] Quotient structures of non-commutative residuated lattices2015
- Author(s)
  近藤通朗
- Organizer
  IEEE ISMVL 2015
- Place of Presentation
  Waterloo, Canada
- Year and Date
  2015-05-18
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00024
[Presentation] 剰余束におけるガロア結合2014
- Author(s)
  近藤通朗
- Organizer
  多値論理研究会
- Place of Presentation
  鹿児島大学
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Galois connection and relatively complete subalgebras of residuated lattices2014
- Author(s)
  M. Kondo
- Organizer
  AAA87
- Place of Presentation
  Johannes Keplar University, Linz, Austria
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Characterization of monadic residuated lattices2013
- Author(s)
  M. Kondo
- Organizer
  AAA86
- Place of Presentation
  Palacky University, Olomouc, Czech Republic
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] States on residuated lattices2013
- Author(s)
  M.Kondo
- Organizer
  85th Arbeitstagung Allgemeine Algebra (AAA85)
- Place of Presentation
  Luxembourg (Luxembourg)
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Prime Filters on Residuated Lattices2012
- Author(s)
  M.Kondo
- Organizer
  IEEE ISMVL2012
- Place of Presentation
  Victoria (Canada)
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Modal Operators on Non-commutative Residuated Lattices2012
- Author(s)
  M.Kondo
- Organizer
  IEEE ISMVL2012
- Place of Presentation
  Victoria (Canada)
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] States on bounded commutative residuated2012
- Author(s)
  M.Kondo
- Organizer
  84th Arbeitstagung Allgemeine Algebra (AAA84)
- Place of Presentation
  Dresden (Germany)
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] ファジイ構造におけるガロア結合子
- Author(s)
  近藤通朗
- Organizer
  第37回多値論理フォーラム
- Place of Presentation
  関西大学，吹田市，大阪府
- Year and Date
  2014-09-13 – 2014-09-14
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Residuated lattices with Galois connections as monadic operators
- Author(s)
  Michiro Kondo
- Organizer
  CLMPS 2015
- Place of Presentation
  Helsinki, Finland
- Year and Date
  2015-08-03 – 2015-08-08
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Some properties of strong Galois connections
- Author(s)
  Michiro Kondo
- Organizer
  AAA 88
- Place of Presentation
  Warsaw, Poland
- Year and Date
  2014-06-20 – 2014-06-22
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] Quotient structures of non-commutative residuated lattices
- Author(s)
  Michiro Kondo
- Organizer
  ISMVL 2015
- Place of Presentation
  Waterloo, Canada
- Year and Date
  2015-05-18 – 2015-05-20
- Data Source
  KAKENHI-PROJECT-24500024
[Presentation] 非可換剰余束の商構造について
- Author(s)
  近藤通朗
- Organizer
  第28回多値論理とその応用研究会
- Place of Presentation
  てんぶす那覇，那覇市，沖縄
- Year and Date
  2015-01-10 – 2015-01-11
- Data Source
  KAKENHI-PROJECT-24500024

1. IMAOKA Teruo (60032603)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. SHOJI Kunitaka (50093646)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. MIWA Takuo (60032455)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. KOBAYASHI Yuji (70035343)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. UEDA Akira (70213345)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. 梅津裕美子 (70185065)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. 志村道夫 (90015868)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 塚田真 (10120198)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. KAMIYA Noriaki (90144691)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. KIKKAWA Michihiko (70032430)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. OZAKI Manabu (80287961)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. FUJITA Kenetsu (30228994)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
13. 室伏元子 (50230024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. ITO Masami (50065843)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. KATSURA Masashi (80065870)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NEHANIV C. (10254054)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kondo Michiro 近藤 通朗

KONDO Michiro 近藤 通朗

KONDO Michio 近藤 通朗

近藤 道朗 コンドウ ミチロウ

近藤 通朗 コンドウ ミチロウ

Research Projects

Research Products

Co-Researchers

States on non-commutative residuated latticesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Substructural logic with Galois connectionPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Algebraic semantics for logic programs with negationPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

含意をもつファジイ代数の構造についてPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Derivations of commutative residuated lattices2018

Author(s)

Journal Title

Data Source

[Journal Article] Generalized state operators on residuated lattices2017

Author(s)

Journal Title

DOI

Kondo Michiro 近藤通朗

KONDO Michiro 近藤通朗

KONDO Michio 近藤通朗

近藤道朗コンドウミチロウ

近藤通朗コンドウミチロウ