Towards a uniform presentation of logical systems by indexed categories and adjoint situations
Uwe Wolter, Alfio Martini, E.H. Häusler · Journal of Logic and Computation · 2012
Journal Article Towards a uniform presentation of logical systems by indexed categories and adjoint situations Get access U. Wolter, U. Wolter Department of Informatics, University of Bergen, Norway.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar A. Martini, A. Martini Faculdade de Informática, PUCRS, Brasil.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar E. H. Häusler E. H. Häusler Departamento de Ciência da Computação, PUC-Rio, Brasil.E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 25, Issue 1, February 2015, Pages 57–93, https://doi.org/10.1093/logcom/exs038 Published: 03 September 2012 Article history Received: 26 January 2012 Published: 03 September 2012