On the Logic of Generalised Metric Spaces

Authors

Octavian Babus, University of Leicester
Alexander Kurz, Chapman UniversityFollow

Document Type

Conference Proceeding

Publication Date

2016

Abstract

The aim of the paper is to work towards a generalisation of coalgebraic logic enriched over a commutative quantale. Previous work has shown how to dualise the coalgebra type functor T : Ω-Cat /Ω-Cat in order to obtain the modal operators and axioms describing transitions of type T. Here we give a logical description of the dual of Ω-Cat.

Comments

This is a pre-copy-editing, author-produced PDF of a paper presented at the International Workshop on Coalgebraic Methods in Computer Science (CMCS) in 2016 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1007/978-3-319-40370-0_9.

Recommended Citation

Babus O., Kurz A. (2016) On the Logic of Generalised Metric Spaces. In: Hasuo I. (eds) Coalgebraic Methods in Computer Science. CMCS 2016. Lecture Notes in Computer Science, vol 9608. Springer, Cham

Copyright

Springer