田中義人 TANAKA Yoshihito

研究者番号	70320132
その他のID
所属 (現在)	2025年度: 九州産業大学, 経済学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2008年度: 九州産業大学, 経済学部, 教授 2006年度 – 2007年度: 九州産業大学, 経済学部, 准教授 2002年度 – 2006年度: 九州産業大学, 経済学部, 助教授 2001年度: 九州産業大学, 経済学部, 講師
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) 研究代表者以外数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学)
キーワード	研究代表者 Heyting代数 / Kripkeモデル / 無限論理 / 様相論理 / 代数モデル / Jankovの定理 / Canonical formula / 連続写像 / 数理論理 / 双対性 … もっと見る / Kripkeフレーム / 直観主義論理 / canonical formula / 非古典論理 / 様相代数 / 中間論理 / 非コンパクト論理 / 共通認識理論 / coalgebra / modal algebra / Barcan formula … もっと見る研究代表者以外 universal algebra / 部分構造論理 / Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 / 情報構造 / 代数論理学 / 代数学 / 数理論理学 / fuzzy logic / many-valued logics / residuated lattices / substructural logics / 剰余構造 / クリプキ意味論 / 有限モデル性 / ファジー論理 / 多値論理 / 剰余束 / 普遍代数隠す

様相論理のモデル理論の圏論による一般化研究代表者
- 研究代表者
  
  田中義人
- 研究期間 (年度)
  2006 – 2008
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州産業大学
代数的方法による論理学の新たな展開
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
意味論的手法による非古典述語論理および非古典無限論理の研究研究代表者
- 研究代表者
  
  田中義人
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  九州産業大学
部分構造論理と代数構造
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学

すべて 2008 2007 2006 2005 その他

すべて雑誌論文学会発表

[雑誌論文] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Proceedings of the 42nd MLG meeting
  
  ページ: 25-28
- データソース
  KAKENHI-PROJECT-18740062
[雑誌論文] An infinitary extension of Jankov's theorem2007
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Studia Logica 71
  
  ページ: 57-86
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] An infinitary extension of Jankov's theorem2007
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Studia Logica 71-1
  
  ページ: 57-86
- 査読あり
- データソース
  KAKENHI-PROJECT-18740062
[雑誌論文] An infinitary extension of Jankov's theorem2007
- 著者名/発表者名
  Y. Tanaka
- 雑誌名
  
  Studia Logica 71
  
  ページ: 57-86
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] An infinitary extension of Jankov's theorem2007
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Studia Logica (印刷中)
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] An infinitary extension of Jankov's theorem2007
- 著者名/発表者名
  田中義人
- 雑誌名
  
  Studia Logica 86
  
  ページ: 57-86
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Continuous homomorphisms of Heyting algebras2007
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Proceedings of the 506^<th> MLG meeting
- データソース
  KAKENHI-PROJECT-18740062
[雑誌論文] Continuous homomorphisms of Heyting algebras2006
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Proceeding of the 40th MLG meeting
  
  ページ: 26-29
- データソース
  KAKENHI-PROJECT-18740062
[雑誌論文] Barcan formulaとその周辺2005
- 著者名/発表者名
  田中義人
- 雑誌名
  
  火の国情報シンポジウム論文集2005
- データソース
  KAKENHI-PROJECT-14740092
[雑誌論文] An infinitary extension of Jankov' s theorem
- 著者名/発表者名
  Yoshihito Tanaka
- 雑誌名
  
  Studia Logica (受理済)
- データソース
  KAKENHI-PROJECT-18740062
[学会発表] Extensions of Canonical Formulas for Heyting Algebras and Intuitionistic Frames2008
- 著者名/発表者名
  Yoshihito Tanaka
- 学会等名
  MLG数理論理学研究集会
- 発表場所
  九州産業大学
- 年月日
  2008-11-08
- データソース
  KAKENHI-PROJECT-18740062
[学会発表] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008
- 著者名/発表者名
  Yoshihito Tanaka
- 学会等名
  The 42nd MLG meeting
- 発表場所
  九州産業大学
- データソース
  KAKENHI-PROJECT-18740062
[学会発表] An extension of canonical formulas2007
- 著者名/発表者名
  田中義人
- 学会等名
  MLG数理論理学研究集会
- 発表場所
  KKR城崎玄武
- 年月日
  2007-12-20
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] An extension of canonical formulas2007
- 著者名/発表者名
  Yoshihito Tanaka
- 学会等名
  MLG数理論理学研究集会
- 発表場所
  KKR城崎玄武
- 年月日
  2007-12-20
- データソース
  KAKENHI-PROJECT-18740062
[学会発表] An extension of canonical formulas2007
- 著者名/発表者名
  Yoshihito Tanaka
- 学会等名
  The 41th MLG meeting
- 発表場所
  KKR城崎玄武
- データソース
  KAKENHI-PROJECT-18740062
[学会発表] Continuous homomorphisms of Heyting algebras2006
- 著者名/発表者名
  Yoshihito Tanaka
- 学会等名
  The 40th MLG meeting
- 発表場所
  ゆふいん七色の風
- データソース
  KAKENHI-PROJECT-18740062

1. 小野寛晰 (90055319)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 志村立矢 (90246835)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. 古森雄一 (10022302)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 浜野正浩 (50313705)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 東条敏 (90272989)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. コワルスキトマシュ (70303336)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. ガラトスニコラオス (70422665)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 関隆宏 (30380546)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 宮崎裕 (40374607)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. ボウフェリックス (00397233)

共同の研究課題数: 1件

共同の研究成果数: 0件

田中 義人 TANAKA Yoshihito

研究課題

研究成果

共同研究者

様相論理のモデル理論の圏論による一般化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

代数的方法による論理学の新たな展開

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

部分構造論理と代数構造

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] An infinitary extension of Jankov's theorem2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] An infinitary extension of Jankov's theorem2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] An infinitary extension of Jankov's theorem2007

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] An infinitary extension of Jankov's theorem2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] An infinitary extension of Jankov's theorem2007

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Continuous homomorphisms of Heyting algebras2007

著者名/発表者名

雑誌名

データソース

[雑誌論文] Continuous homomorphisms of Heyting algebras2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Barcan formulaとその周辺2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] An infinitary extension of Jankov' s theorem

著者名/発表者名

雑誌名

データソース

[学会発表] Extensions of Canonical Formulas for Heyting Algebras and Intuitionistic Frames2008

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Extensions of canonical formulas for Heyting algebras and intuitionistic frames2008

著者名/発表者名

学会等名

発表場所

田中義人 TANAKA Yoshihito