Abstract

Continuous logic was first defined in 2008 as a new logic designed to study metric spaces. Taking elements from several other logics, one of the core principles is the fact that the truth space is the interval [0,1]. Moreover, continuous logic can be seen as a generalization of classical first
... read more