GALATOS Nikolaos GALATOS Nikolaos

… 別表記

ガラトスニコラオス GALATOS Nikolaos

研究者番号	70422665
所属 (過去の研究課題情報に基づく) *注記	2007年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助教 2005年度 – 2006年度: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
審査区分/研究分野	研究代表者数学一般(含確率論・統計数学) 研究代表者以外数学一般(含確率論・統計数学)
キーワード	研究代表者情報基礎 / 代数学 / 数理論理学研究代表者以外 Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 … もっと見る / 部分構造論理 / 情報構造 / universal algebra / 代数論理学 / 代数学 / 数理論理学隠す

部分構造論理の研究における代数的方法研究代表者
- 研究代表者
  
  GALATOS Nikolaos
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  若手研究(B)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学
代数的方法による論理学の新たな展開
- 研究代表者
  
  小野寛晰
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  数学一般(含確率論・統計数学)
- 研究機関
  北陸先端科学技術大学院大学

すべて 2007 2006 2005

すべて雑誌論文学会発表図書

[図書] Residuated Lattices: an algebraic glimpse at substructural logics2007
- 著者名/発表者名
  ガラトスニコラオス
- 総ページ数
  532
- 出版者
  Elsevier
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[図書] Residuated Lattices : an algebraic glimpse at substructural logics2007
- 著者名/発表者名
  N.Galatos, H.Ono 他2名
- 総ページ数
  532
- 出版者
  Elsevier
- データソース
  KAKENHI-PROJECT-17540109
[図書] Residuated Lattices: an algebraic glimpse at substructural logics2007
- 著者名/発表者名
  N.Galatos, H.Ono 他2名
- 総ページ数
  532
- 出版者
  Elsevier
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Ono, Residuated Lattices : an algebraic glimpse at substructural logics2007
- 著者名/発表者名
  N. Galatos, P. Jipsen, T. Kowalski, H
- 雑誌名
  
  Studies in Logic and the Foundations of Mathematics(Elsevier) 151
  
  ページ: 532-532
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Ono, Glivenko theorems for substructural logics over FL2006
- 著者名/発表者名
  N. Galatos, H
- 雑誌名
  
  Journal of Symbolic Logic 71
  
  ページ: 1353-1384
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006
- 著者名/発表者名
  N.Galatos, H.Ono
- 雑誌名
  
  Studia Logica 83
  
  ページ: 279-308
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006
- 著者名/発表者名
  ガラトスニコラオス
- 雑誌名
  
  Studia Logica 83
  
  ページ: 279-308
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL2006
- 著者名/発表者名
  Nikolaos Galatos
- 雑誌名
  
  Studia Logica 83(印刷中)
  
  ページ: 1-32
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Glivenko theorems for substructural logics over FL2006
- 著者名/発表者名
  ガラトスニコラオス
- 雑誌名
  
  Journal of Symbolic Logic 71
  
  ページ: 1353-1384
- NAID
  120001746778
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006
- 著者名/発表者名
  N. Galatos, H
- 雑誌名
  
  Studia Logica 83
  
  ページ: 279-308
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Glivenko theorems for substructural logics over FL2006
- 著者名/発表者名
  N.Galatos, H.Ono
- 雑誌名
  
  Journal of Symbolic Logic 71-4
  
  ページ: 1353-1384
- NAID
  120001746778
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Generalized MV-algebras2005
- 著者名/発表者名
  Nikolaos Galatos
- 雑誌名
  
  Journal of Algebra 283-1
  
  ページ: 254-291
- データソース
  KAKENHI-PROJECT-17540109
[雑誌論文] Minimal varieties of residuated lattices2005
- 著者名/発表者名
  Nikolaos Galatos
- 雑誌名
  
  Algebra Universalis 52-2
  
  ページ: 215-239
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Structural rules in FL: expressive power and cut elimination2007
- 著者名/発表者名
  ガラトスニコラオス
- 学会等名
  Algebraic and Topological Methods in Non-classical Logics III
- 発表場所
  University of Oxford, UK
- 年月日
  2007-08-06
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] The variety of involutive residuated lattices is generated by its finite members2007
- 著者名/発表者名
  ガラトスニコラオス
- 学会等名
  International conference on Order, Algebra and Logics
- 発表場所
  Vanderbilt University USA
- 年月日
  2007-06-16
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Structural rules in FL : expressive power and cut elimination2007
- 著者名/発表者名
  N. Galatos
- 学会等名
  Algebraic and Topological Methods in Non-classical Logics III
- 発表場所
  Oxford, UK
- 年月日
  2007-08-06
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] The variety of involutive residuated lattices is generated by its finite members2007
- 著者名/発表者名
  N. Galatos
- 学会等名
  International conference on Order, Algebra and Logics
- 発表場所
  Nashville, USA
- 年月日
  2007-06-16
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Lack of structural rules and algebraic semantics2006
- 著者名/発表者名
  ガラトスニコラオス
- 学会等名
  International Symposium on Ordered Structures in Many-Valued Logic
- 発表場所
  Massa Lubrense, Italy
- 年月日
  2006-06-01
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Glivenko theorems for substructural logics2006
- 著者名/発表者名
  ガラトスニコラオス
- 学会等名
  Logic Colloquium 2006
- 発表場所
  Nijmegen, Netherlands
- 年月日
  2006-07-30
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Lack of structural rules and algebraic semantics2006
- 著者名/発表者名
  N. Galatos
- 学会等名
  Ordered Structures in Many-Valued Logic
- 発表場所
  Massa Lubrense, Italy
- 年月日
  2006-06-01
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-17540109
[学会発表] Residuated frames2006
- 著者名/発表者名
  ガラトスニコラオス
- 学会等名
  Workshop on Algebra and Substructural Logics III
- 発表場所
  Krakow, Poland
- 年月日
  2006-11-07
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-17540109

1. 小野寛晰 (90055319)

共同の研究課題数: 1件

共同の研究成果数: 4件
2. 田中義人 (70320132)

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

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

共同の研究課題数: 1件

共同の研究成果数: 0件

GALATOS Nikolaos GALATOS Nikolaos

ガラトス ニコラオス GALATOS Nikolaos

研究課題

研究成果

共同研究者

部分構造論理の研究における代数的方法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[図書] Residuated Lattices: an algebraic glimpse at substructural logics2007

著者名/発表者名

総ページ数

出版者

説明

データソース

[図書] Residuated Lattices : an algebraic glimpse at substructural logics2007

著者名/発表者名

総ページ数

出版者

データソース

[図書] Residuated Lattices: an algebraic glimpse at substructural logics2007

著者名/発表者名

総ページ数

出版者

データソース

[雑誌論文] Ono, Residuated Lattices : an algebraic glimpse at substructural logics2007

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Ono, Glivenko theorems for substructural logics over FL2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL2006

著者名/発表者名

雑誌名

データソース

[雑誌論文] Glivenko theorems for substructural logics over FL2006

著者名/発表者名

雑誌名

NAID

説明

データソース

[雑誌論文] Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006

著者名/発表者名

雑誌名

説明

データソース

[雑誌論文] Glivenko theorems for substructural logics over FL2006

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Generalized MV-algebras2005

著者名/発表者名

雑誌名

データソース

[雑誌論文] Minimal varieties of residuated lattices2005

著者名/発表者名

雑誌名

データソース

ガラトスニコラオス GALATOS Nikolaos