GALATOS Nikolaos GALATOS Nikolaos

Researcher Number	70422665
Affiliation (based on the past Project Information) *help	2007: Japan Advanced Institute of Science and Technology, School of Information, Assistant Professor 2005 – 2006: 北陸先端科学技術大学院大学, 情報科学研究科, 助手
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator 情報基礎 / 代数学 / 数理論理学 Except Principal Investigator Substructural logics / Information Structures / Universal algebra / Algebraic logic / Algebra / Mathematical logic / 情報基礎 … More / 部分構造論理 / 情報構造 / universal algebra / 代数論理学 / 代数学 / 数理論理学 Less

部分構造論理の研究における代数的方法Principal Investigator
- Principal Investigator
  
  GALATOS Nikolaos
- Project Period (FY)
  2006 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Japan Advanced Institute of Science and Technology
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

All 2007 2006 2005

All Journal Article Presentation Book

[Book] Residuated Lattices: an algebraic glimpse at substructural logics2007
- Author(s)
  ガラトスニコラオス
- Total Pages
  532
- Publisher
  Elsevier
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Book] Residuated Lattices : an algebraic glimpse at substructural logics2007
- Author(s)
  N.Galatos, H.Ono 他2名
- Total Pages
  532
- Publisher
  Elsevier
- Data Source
  KAKENHI-PROJECT-17540109
[Book] Residuated Lattices: an algebraic glimpse at substructural logics2007
- Author(s)
  N.Galatos, H.Ono 他2名
- Total Pages
  532
- Publisher
  Elsevier
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Ono, Residuated Lattices : an algebraic glimpse at substructural logics2007
- Author(s)
  N. Galatos, P. Jipsen, T. Kowalski, H
- Journal Title
  
  Studies in Logic and the Foundations of Mathematics(Elsevier) 151
  
  Pages: 532-532
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Ono, Glivenko theorems for substructural logics over FL2006
- Author(s)
  N. Galatos, H
- Journal Title
  
  Journal of Symbolic Logic 71
  
  Pages: 1353-1384
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  ガラトスニコラオス
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  Nikolaos Galatos
- Journal Title
  
  Studia Logica 83(印刷中)
  
  Pages: 1-32
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  ガラトスニコラオス
- Journal Title
  
  Journal of Symbolic Logic 71
  
  Pages: 1353-1384
- NAID
  120001746778
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006
- Author(s)
  N. Galatos, H
- Journal Title
  
  Studia Logica 83
  
  Pages: 279-308
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Glivenko theorems for substructural logics over FL2006
- Author(s)
  N.Galatos, H.Ono
- Journal Title
  
  Journal of Symbolic Logic 71-4
  
  Pages: 1353-1384
- NAID
  120001746778
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Generalized MV-algebras2005
- Author(s)
  Nikolaos Galatos
- Journal Title
  
  Journal of Algebra 283-1
  
  Pages: 254-291
- Data Source
  KAKENHI-PROJECT-17540109
[Journal Article] Minimal varieties of residuated lattices2005
- Author(s)
  Nikolaos Galatos
- Journal Title
  
  Algebra Universalis 52-2
  
  Pages: 215-239
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Structural rules in FL: expressive power and cut elimination2007
- Author(s)
  ガラトスニコラオス
- Organizer
  Algebraic and Topological Methods in Non-classical Logics III
- Place of Presentation
  University of Oxford, UK
- Year and Date
  2007-08-06
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] The variety of involutive residuated lattices is generated by its finite members2007
- Author(s)
  ガラトスニコラオス
- Organizer
  International conference on Order, Algebra and Logics
- Place of Presentation
  Vanderbilt University USA
- Year and Date
  2007-06-16
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Structural rules in FL : expressive power and cut elimination2007
- Author(s)
  N. Galatos
- Organizer
  Algebraic and Topological Methods in Non-classical Logics III
- Place of Presentation
  Oxford, UK
- Year and Date
  2007-08-06
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] The variety of involutive residuated lattices is generated by its finite members2007
- Author(s)
  N. Galatos
- Organizer
  International conference on Order, Algebra and Logics
- Place of Presentation
  Nashville, USA
- Year and Date
  2007-06-16
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Lack of structural rules and algebraic semantics2006
- Author(s)
  ガラトスニコラオス
- Organizer
  International Symposium on Ordered Structures in Many-Valued Logic
- Place of Presentation
  Massa Lubrense, Italy
- Year and Date
  2006-06-01
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Glivenko theorems for substructural logics2006
- Author(s)
  ガラトスニコラオス
- Organizer
  Logic Colloquium 2006
- Place of Presentation
  Nijmegen, Netherlands
- Year and Date
  2006-07-30
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Lack of structural rules and algebraic semantics2006
- Author(s)
  N. Galatos
- Organizer
  Ordered Structures in Many-Valued Logic
- Place of Presentation
  Massa Lubrense, Italy
- Year and Date
  2006-06-01
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540109
[Presentation] Residuated frames2006
- Author(s)
  ガラトスニコラオス
- Organizer
  Workshop on Algebra and Substructural Logics III
- Place of Presentation
  Krakow, Poland
- Year and Date
  2006-11-07
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540109

1. ONO Hiroakira (90055319)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
2. TANAKA Yoshihito (70320132)

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

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

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

GALATOS Nikolaos GALATOS Nikolaos

Research Projects

Research Products

Co-Researchers

部分構造論理の研究における代数的方法Principal 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

[Book] Residuated Lattices: an algebraic glimpse at substructural logics2007

Author(s)

Total Pages

Publisher

Description

Data Source

[Book] Residuated Lattices : an algebraic glimpse at substructural logics2007

Author(s)

Total Pages

Publisher

Data Source

[Book] Residuated Lattices: an algebraic glimpse at substructural logics2007

Author(s)

Total Pages

Publisher

Data Source

[Journal Article] Ono, Residuated Lattices : an algebraic glimpse at substructural logics2007

Author(s)

Journal Title

Description

Data Source

[Journal Article] Ono, Glivenko theorems for substructural logics over FL2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006

Author(s)

Journal Title

Data Source

[Journal Article] Algebraization, paremetrized local deduction theorem and interpolation for substructural logics over FL2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Algebraization, parameterized local deduction theorem and interpolation for substructural logics over FL2006

Author(s)

Journal Title

Data Source

[Journal Article] Glivenko theorems for substructural logics over FL2006

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] Ono, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] Glivenko theorems for substructural logics over FL2006

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Generalized MV-algebras2005

Author(s)

Journal Title

Data Source

[Journal Article] Minimal varieties of residuated lattices2005

Author(s)

Journal Title

Data Source

[Presentation] Structural rules in FL: expressive power and cut elimination2007