2016BabusOPhD.pdf (870.64 kB)
Download file

Generalised distributivity and the logic of metric spaces

Download (870.64 kB)
thesis
posted on 08.06.2016, 09:27 by Octavian Vladut Babus
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.

History

Supervisor(s)

Kurz, Alexander; de Vries, Fer-Jan

Date of award

06/06/2016

Author affiliation

Department of Computer Science

Awarding institution

University of Leicester

Qualification level

Doctoral

Qualification name

PhD

Language

en

Usage metrics

Categories

Keywords

Exports