Towards a uniform presentation of logical systems by indexed categories and adjoint situations

DOI10.1093/LOGCOM/EXS038zbMath1362.03059OpenAlexW2079393871MaRDI QIDQ5176546

No author found.

Publication date: 26 February 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0305ea4bb40f48a40a652e183b576ff456a102a7

zbMATH Keywords

Galois connectionsindexed categoriesadjoint situationsgeneral logicsco-monads

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Related Items (1)

Indexed and fibered structures for partial and total correctness assertions

This page was built for publication: Towards a uniform presentation of logical systems by indexed categories and adjoint situations