Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- 1 June 2000
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 65 (2) , 669-682
- https://doi.org/10.2307/2586560
Abstract
Rational Pavelka logic extends Łukasiewicz infinitely valued logic by adding truth constants r̄ for rationals in [0. 1]. We show that this is a conservative extension. We note that this shows that provability degree can be defined in Łukasiewicz logic. We also give a counterexample to a soundness theorem of Belluce and Chang published in 1963.Keywords
This publication has 10 references indexed in Scilit:
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Fuzzy Logic and Arithmetical Hierarchy, IIStudia Logica, 1997
- Fuzzy logic from the logical point of viewPublished by Springer Nature ,1995
- Lattice-Ordered GroupsPublished by Springer Nature ,1988
- Interpretation of AF C∗-algebras in Łukasiewicz sentential calculusJournal of Functional Analysis, 1986
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculiMathematical Logic Quarterly, 1979
- Groupes et Anneaux RéticulésLecture Notes in Mathematics, 1977
- Fragments of many-valued statement calculiTransactions of the American Mathematical Society, 1958
- Proof of an axiom of ŁukasiewiczTransactions of the American Mathematical Society, 1958
- The dependence of an axiom of ŁukasiewiczTransactions of the American Mathematical Society, 1958