A predicate extension of real valued logic
- 65 Downloads
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.
KeywordsMany-valued logic Unbounded truth values Real-valued logic Abelian logic Continuous logic
Mathematics Subject Classification03B50
Unable to display preview. Download preview PDF.
- 5.Ben Yaacov, I., et al.: Model theory for metric structures. In: Model Theory with Applications to Algebra and Analysis, vol. 2, pp. 315–427. London Mathematical Society Lecture Note Series, vol. 350. Cambridge Univ. Press, Cambridge (2008)Google Scholar
- 10.Meyer, R.K., Slaney, J.K.: Abelian logic from A to Z. In: Priest, G., et al. (eds.) Paraconsistent Logic: Essays on the Inconsistent, pp. 245–288. Philosophia, München (1989)Google Scholar