A characterization of Continuous Logic by using quantale-valued logics

David Reyes, Pedro H. Zambrano

In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By as…