Advances in Logics by Algebraic Methods
| Project/Area Number |
17540109
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
ONO Hiroakira Japan Advanced Institute of Science and Technology, School of Information Science, Professor (90055319)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
GALATOS Nikolaos JAIST, School of Information, Assistant Professor (70422665)
TANAKA Yoshihito Kyushu Sangyo University, Faculty of Economics, Associate Professor (70320132)
SEKI Takahiro Niigata University, Evaluation Center, Associate Professor (30380546)
宮崎 裕 北海道大学, 大学院情報科学研究科, COE研究員 (40374607)
ボウ フェリックス 北陸先端科学技術大学院大学, 情報科学研究科, 助手 (00397233)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,590,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥390,000)
Fiscal Year 2007: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2006: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2005: ¥1,100,000 (Direct Cost: ¥1,100,000)
|
|---|
| Keywords | Mathematical logic / Algebra / Algebraic logic / Universal algebra / Information Structures / Substructural logics / 情報基礎 |
|---|
| Research Abstract |
Algebraic approaches to logics are attracting much attention in recent year. One can see this tendency in particular in the study of modal logics and substructural logics, which accelerates collaborations among logicians and algebraists. The head investigator Ono has made a certain contribution to this. In fact, he organized the workshop "Algebra and Substructural Logics" (AsubL) twice before at JAIST in 1999 and 2002.
During the term of the present project, Ono organized the 2nd International Conference "Algebraic and Topological Methods in Nonclassical Logics" (TANCL) at Barcelona in 2005 as the chair. The conference was quite successful, and therefore international conferences of this kind have been organized often, after this. During the 3rd TANCL conference held in 2007 at Oxford, it was decided to have the conference biennially, and Ono was elected as a member of its steering committee. Also, together with A. Wronski, he organized the 3rd AsubL workshop in Krakow of Poland in 2006
… More
, which was small but of high level. The collection of selected papers presented there was published already as a special issue of Reports on Mathematical Logic.
Ono gave tutorial talks in two international conferences "Ordered Structures in Many-Valued Logics" in 2006 and "Order, Algebra and Logics" in 2007. In the latter, also N. Galatos, an investigator of the project, gave an invited talk. These talks are based on two joint papers with Ono and Galatos, in which some of fundamental results on substructural logics and residuated lattices are shown.
The most important contribution of our project is that we have finally completed a book with the help of both T. Kowalski and P. Jipsen. The book "Residuated Lattices: an algebraic glimpse at substructural logics" consists of more than 500 pages, which was published in 2007 from Elsevier as a volume in the prestigious series "Studies in Logic and the Foundations of Mathematics". It has already had a reputation as a seminal work in this research field. Less
|
Report
(4 results)
Research Products
(57 results)
