Title: Towards a uniform presentation of logical systems by indexed categories and adjoint situations
Abstract: 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
Publication Year: 2012
Publication Date: 2012-09-03
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 5
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot