The Real truth. Issue 1 (2nd February 2015)

• Record Type: Journal Article
• Authors: Baratella, Stefano; Zambella, Domenico
• Is Part Of: Mathematical logic quarterly. Volume 61:Issue 1-2(2015)
• Page Start: 32
• Page End: 44
• Publication Date: 2015-02-02
• Subjects: Mathematics -- Periodicals; Logic, Symbolic and mathematical -- Periodicals; 511.3
• DOI: 10.1002/malq.201300068
• Languages: English
• ISSNs: 0942-5616

Abstract

Abstract : We study a real valued propositional logic with unbounded positive and negative truth values that we call R ‐valued logic . Such a logic is semantically equivalent to continuous propositional logic, with a different choice of connectives. After presenting the deduction machinery and the semantics of R ‐valued logic, we prove a completeness theorem for finite theories. Then we define unital and Archimedean theories, in accordance with the theory of Riesz spaces. In the unital setting, we prove the equivalence of consistency and satisfiability and an approximated completeness theorem similar to the one that holds for continuous propositional logic. Eventually, among unital theories, we characterize Archimedean theories as those for which strong completeness holds. We also point out that R ‐valued logic provides alternative calculi for Łukasiewicz logic and for propositional continuous logic.