An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism

by Till Mossakowski , Florian Rabe , Valeria De Paiva , Lutz Schröder , Joseph Goguen

Citations:

1 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	An institutional view on categorical logic and the Curry-Howard-Tait-isomorphism	user correction
AUTHOR NAME	Till Mossakowski	user correction
AUTHOR AFFIL	Department of Computer Science, University of Bremen	user correction
AUTHOR NAME	Florian Rabe	user correction
AUTHOR AFFIL	School of Engineering and Science, International University of Bremen	user correction
AUTHOR NAME	Valeria De Paiva	user correction
AUTHOR AFFIL	Intelligent Systems Laboratory, Palo Alto Research Center	user correction
AUTHOR ADDR	California	user correction
AUTHOR NAME	Lutz Schröder	user correction
AUTHOR AFFIL	Department of Computer Science, University of Bremen	user correction
AUTHOR NAME	Joseph Goguen	user correction
AUTHOR AFFIL	Dept. of Computer Science & Engineering, University of California, San Diego	user correction
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.	user correction
CITATIONS	34 found	ParsCit 1.0