Reconstruction of algebraic semantics for non-classical predicate logics
Project/Area Number |
24540120
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
Research Institution | Shizuoka University |
Principal Investigator |
|
Project Period (FY) |
2012-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
Keywords | 非古典論理 / 代数的意味論 / 述語論理 / クリプキ意味論 |
Outline of Final Research Achievements |
Algebraic semantics for classical logic was given by an algebraic system called Boolean algebra (named after G. Boole in 19th century). It is known that the completion of Boolean algebra can capture classical predicate logic. However, it has been hard to extend this method to non-classical predicate logics. In this research, we reconstructed algebraic semantics for some non-classical predicate logics by making use of the notion of adjoints in category theory, not by completion; and we presented its applications.
|
Report
(6 results)
Research Products
(36 results)
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 中間述語論理の話題2015
Author(s)
鈴木信行
Organizer
鹿児島大学数理情報科学談話会
Place of Presentation
鹿児島大学(鹿児島県 鹿児島市)
Year and Date
2015-11-05
Related Report
Invited
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Book] 制度と認識の経済学2013
Author(s)
船木由喜彦, 石川竜一郎, 須賀晃一, 河田陽向, 坂井豊貴, 廣川みどり, 武藤滋夫, 鈴木信行, J.J.クライン
Total Pages
332
Publisher
NTT出版
Related Report