@inproceedings{MossakowskiEA06a,
  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.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Goguen, Joseph and Mossakowski, Till and Paiva, Valeria De and Rabe, Florian and Schr{\"o}der, Lutz},
  biburl = {https://www.bibsonomy.org/bibtex/27fc88e481aa3526537bdf78d0d4cd9d2/tillmo},
  booktitle = {Int J Software Informatics},
  interhash = {8507f5ce703bfcb59341a67591b67c02},
  intrahash = {7fc88e481aa3526537bdf78d0d4cd9d2},
  keywords = {imported},
  number = 1,
  pages = {129-152},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/CurryHoward.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/CurryHoward.ps},
  status = {Other},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {An Institutional View on Categorical Logic},
  volume = 1,
  year = 2007
}