| 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)
|
|---|
| 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.
|
