scientific article; zbMATH DE number 2172902
A (closed) formula \(\varphi \) of first-order logic is called a Scarpellini formula if it is valid in all interpretations over the standard Łukasiewicz algebra of truth functions (operating on the real interval \([0,1]\)) but is not strongly valid, i.e., for an interpretation over a linearly ordered MV-algebra \(A\) gets a value less than 1. (By definition, an interpretation is total in the sense that the truth value of each formula must be defined in \(A.\)) Note that Łukasiewicz predicate logic proves exactly all strongly valid formulas. The authors study the properties of Scarpellini formulas in the Lindenbaum algebra \(L\) of Łukasiewicz predicate logic. The main result says that Scarpellini formulas are precisely the formulas whose negations determine the radical of \(L,\) i.e., they are the co-infinitesimals of \(L,\) and they generate a perfect subalgebra of \(L.\) Then the authors discuss the question of whether the set \(\Delta _S\) of negations of all Scarpellini formulas is simultaneously positively satisfiable over a (necessarily non-archimedean) linearly ordered MV-algebra. Several propositions are proved but no final answer is presented. A very interesting problem is formulated, whether there exists a linearly ordered MV-algebra \(A\) such that formulas provable in Łukasiewicz predicate logic are exactly all formulas true in all (total) \(A\)-interpretations. The paper suffers from some technical weaknesses. First, the numbers of references in the text do not always correspond to the numbers in the list of references (there is no reference [12]; reference to the monograph by Cignoli et al. should not be [8] but [7]). This makes other references doubtful. Furthermore; for completeness of Łukasiewicz predicate logic w.r.t. interpretations over linearly ordered MV-algebras, the authors repeatedly refer to the paper [4] of Belluce and Chang but the formulation of completeness in [4] is erroneous, not demanding totalness of interpretation; such semantics is not sound. This was shown in the paper by Hájek, Paris and Shepherdson which occurs in the references of the present paper as [8] (with Hájek as the only author, which is a mistake), but is not mentioned at all in the body of the paper, and the error in [4] remains unnoticed. Nevertheless, the formulation of completeness on p. 15 of the present paper (provable -- strongly valid) is correct.
- Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
- A geometric proof of the completeness of the Łukasiewicz calculus
- Perfect MV-algebras and their logic
- Advanced Łukasiewicz calculus and MV-algebras
- Pavelka-style completeness in expansions of Łukasiewicz logic
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
- Perfect MV-algebras and their logic
- Representation of perfect and local MV-algebras
- scientific article; zbMATH DE number 5670715 (Why is no real title available?)
- scientific article; zbMATH DE number 2070196 (Why is no real title available?)
- On Scott’s semantics for many-valued logic
- Forcing in Łukasiewicz predicate logic
- Representation of MV-algebras by regular ultrapowers of \([0,1]\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680302)
