TANAKA Yoshihito 田中義人

… Alternative Names

田中義人タナカヨシヒト

Less

Researcher Number	70320132
Other IDs
Affiliation (Current)	2025: 九州産業大学, 経済学部, 教授
Affiliation (based on the past Project Information) *help	2008: Kyushu Sangyo University, 経済学部, 教授 2006 – 2007: 九州産業大学, 経済学部, 准教授 2002 – 2006: 九州産業大学, 経済学部, 助教授 2001: 九州産業大学, 経済学部, 講師
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator Heyting代数 / Kripkeモデル / 無限論理 / 様相論理 / 代数モデル / Jankovの定理 / Canonical formula / 連続写像 / 数理論理 / 双対性 … More / Kripkeフレーム / 直観主義論理 / canonical formula / 非古典論理 / 様相代数 / 中間論理 / 非コンパクト論理 / 共通認識理論 / coalgebra / modal algebra / Barcan formula … More Except Principal Investigator universal algebra / 部分構造論理 / Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 / 情報構造 / 代数論理学 / 代数学 / 数理論理学 / fuzzy logic / many-valued logics / residuated lattices / substructural logics / 剰余構造 / クリプキ意味論 / 有限モデル性 / ファジー論理 / 多値論理 / 剰余束 / 普遍代数 Less

A categorical generalization of models for modal logicsPrincipal Investigator
- Principal Investigator
  
  TANAKA Yoshihito
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu Sangyo University
Advances in Logics by Algebraic Methods
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
意味論的手法による非古典述語論理および非古典無限論理の研究Principal Investigator
- Principal Investigator
  
  田中義人
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Kyushu Sangyo University
Substructural Logics and their Algebraic Structures
- Principal Investigator
  
  ONO Hiroakira
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology

All 2008 2007 2006 2005 Other

All Journal Article Presentation

[Journal Article] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Proceedings of the 42nd MLG meeting
  
  Pages: 25-28
- Data Source
  KAKENHI-PROJECT-18740062
[Journal Article] An infinitary extension of Jankov's theorem2007
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Studia Logica 71
  
  Pages: 57-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] An infinitary extension of Jankov's theorem2007
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Studia Logica 71-1
  
  Pages: 57-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18740062
[Journal Article] An infinitary extension of Jankov's theorem2007
- Author(s)
  Y. Tanaka
- Journal Title
  
  Studia Logica 71
  
  Pages: 57-86
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] An infinitary extension of Jankov's theorem2007
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Studia Logica (印刷中)
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] An infinitary extension of Jankov's theorem2007
- Author(s)
  田中義人
- Journal Title
  
  Studia Logica 86
  
  Pages: 57-86
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Continuous homomorphisms of Heyting algebras2007
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Proceedings of the 506^<th> MLG meeting
- Data Source
  KAKENHI-PROJECT-18740062
[Journal Article] Continuous homomorphisms of Heyting algebras2006
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Proceeding of the 40th MLG meeting
  
  Pages: 26-29
- Data Source
  KAKENHI-PROJECT-18740062
[Journal Article] Barcan formulaとその周辺2005
- Author(s)
  田中義人
- Journal Title
  
  火の国情報シンポジウム論文集2005
- Data Source
  KAKENHI-PROJECT-14740092
[Journal Article] An infinitary extension of Jankov' s theorem
- Author(s)
  Yoshihito Tanaka
- Journal Title
  
  Studia Logica (受理済)
- Data Source
  KAKENHI-PROJECT-18740062
[Presentation] Extensions of Canonical Formulas for Heyting Algebras and Intuitionistic Frames2008
- Author(s)
  Yoshihito Tanaka
- Organizer
  MLG数理論理学研究集会
- Place of Presentation
  九州産業大学
- Year and Date
  2008-11-08
- Data Source
  KAKENHI-PROJECT-18740062
[Presentation] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008
- Author(s)
  Yoshihito Tanaka
- Organizer
  The 42nd MLG meeting
- Place of Presentation
  九州産業大学
- Data Source
  KAKENHI-PROJECT-18740062
[Presentation] An extension of canonical formulas2007
- Author(s)
  田中義人
- Organizer
  MLG数理論理学研究集会
- Place of Presentation
  KKR城崎玄武
- Year and Date
  2007-12-20
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] An extension of canonical formulas2007
- Author(s)
  Yoshihito Tanaka
- Organizer
  MLG数理論理学研究集会
- Place of Presentation
  KKR城崎玄武
- Year and Date
  2007-12-20
- Data Source
  KAKENHI-PROJECT-18740062
[Presentation] An extension of canonical formulas2007
- Author(s)
  Yoshihito Tanaka
- Organizer
  The 41th MLG meeting
- Place of Presentation
  KKR城崎玄武
- Data Source
  KAKENHI-PROJECT-18740062
[Presentation] Continuous homomorphisms of Heyting algebras2006
- Author(s)
  Yoshihito Tanaka
- Organizer
  The 40th MLG meeting
- Place of Presentation
  ゆふいん七色の風
- Data Source
  KAKENHI-PROJECT-18740062

1. ONO Hiroakira (90055319)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. SHIMURA Tatsuya (90246835)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. KOMORI Yuichi (10022302)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. HAMANO Masahiro (50313705)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. TOJO Satoshi (90272989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. コワルスキトマシュ (70303336)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. GALATOS Nikolaos (70422665)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. SEKI Takahiro (30380546)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. 宮崎裕 (40374607)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. ボウフェリックス (00397233)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TANAKA Yoshihito 田中 義人

田中 義人 タナカ ヨシヒト

Research Projects

Research Products

Co-Researchers

A categorical generalization of models for modal logicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advances in Logics by Algebraic Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

意味論的手法による非古典述語論理および非古典無限論理の研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Substructural Logics and their Algebraic Structures

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008

Author(s)

Journal Title

Data Source

[Journal Article] An infinitary extension of Jankov's theorem2007

Author(s)

Journal Title

Data Source

[Journal Article] An infinitary extension of Jankov's theorem2007

Author(s)

Journal Title

Data Source

[Journal Article] An infinitary extension of Jankov's theorem2007

Author(s)

Journal Title

Description

Data Source

[Journal Article] An infinitary extension of Jankov's theorem2007

Author(s)

Journal Title

Data Source

[Journal Article] An infinitary extension of Jankov's theorem2007

Author(s)

Journal Title

Description

Data Source

[Journal Article] Continuous homomorphisms of Heyting algebras2007

Author(s)

Journal Title

Data Source

[Journal Article] Continuous homomorphisms of Heyting algebras2006

Author(s)

Journal Title

Data Source

[Journal Article] Barcan formulaとその周辺2005

Author(s)

Journal Title

Data Source

[Journal Article] An infinitary extension of Jankov' s theorem

Author(s)

Journal Title

Data Source

[Presentation] Extensions of Canonical Formulas for Heyting Algebras and Intuitionistic Frames2008

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008

Author(s)

Organizer

TANAKA Yoshihito 田中義人

田中義人タナカヨシヒト