Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.686597
Title: Generalised distributivity and the logic of metric spaces
Author: Babus, Octavian Vladut
ISNI:       0000 0004 5919 6474
Awarding Body: University of Leicester
Current Institution: University of Leicester
Date of Award: 2016
Availability of Full Text:
Access through EThOS:
Access through Institution:
Abstract:
The aim of the thesis is to work towards a many-valued logic over a commutative unital quantale and, at the same time, towards a generalisation of coalgebraic logic enriched over a commutative unital quantale Ω. This is done by noticing that the contravariant powerset adjunction can be generalised to categories enriched over a commutative unital quantale. From here we define categorical algebras for the monad generated by this adjunction. We finish by showing that these categorical algebras are algebras over Set with operations and equations, and show that in some cases we can restrict the arity of those operations to be finite.
Supervisor: Kurz, Alexander ; de Vries, Fer-Jan Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.686597  DOI: Not available
Share: