A predicate extension of real valued logic (Q2402962): Difference between revisions

In [Math. Log. Q. 61, No. 1--2, 32--44 (2015; Zbl 1372.03046)] the author and \textit{D. Zambella} introduced an unbounded real-valued propositional logic, called propositional \(\mathbb{R}\)-logic. In the present paper, the author carries on such research line by presenting a first-order version of \(\mathbb{R}\)-logic. For more details we quote the summary of the paper: ``We study a predicate extension of an unbounded real valued propositional logic that has been recently introduced. The latter, in turn, can be regarded as an extension of both the abelian logic and of the propositional continuous logic. Among other results, we prove that our predicate extension satisfies the property of weak completeness (the equivalence between satisfiability and consistency) and, under an additional assumption on the set of premisses, the property of strong completeness (the equivalence between logical consequence and provability). Eventually we discuss some topological properties of the space of types in our logic.''