| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder |
| Titel: |
An Institutional View on Categorical Logic |
| Buch / Sammlungs-Titel: |
Int J Software Informatics |
| Band: |
1 |
| Seite(n): |
129 – 152 |
| Ausgabe: |
1 |
| Erscheinungsjahr: |
2007 |
| Abstract / Kurzbeschreibung: |
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 |
| Letzte Aktualisierung: |
02. 01. 2008 |
