Co-quantale valued logics

11 Feb 2021 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 assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 3.35) and Los Theorem (Theorem 3.62) in our setting...

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC
  • 03C95, 03B60, 03C90, 03C20, 06F07, 18B35