| Publication type: |
Article in Proceedings |
| Author: |
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder |
| Title: |
An Institutional View on Categorical Logic |
| Book / Collection title: |
Int J Software Informatics |
| Volume: |
1 |
| Page(s): |
129 – 152 |
| Number: |
1 |
| Year published: |
2007 |
| Abstract: |
We introduce a generic notion of propositional categorical logic and
provide a construction of an institution with proofs out of such a
logic, following the Curry-Howard-Tait paradigm. We then prove
logic-independent soundness and completeness theorems. The framework
is instantiated with a number of examples: classical, intuitionistic,
linear and modal propositional logics. Finally, we speculate how this
framework may be extended beyond the propositional case. |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/CurryHoward.pdf |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/CurryHoward.ps |
| Status: |
Other |
| Last updated: |
02. 01. 2008 |
|
 |
