Compactness in first order Łukasiewicz logic

DOI10.1093/JIGPAL/JZR034MaRDI QIDQ2903759zbMATH OpenOpenAlexFDO

Authors N. R. Tavana, M. Pourmahdian, F. Didehvar

Publication date 1 August 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzr034

zbMATH Keywords

continuous logicultraproduct methodŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Review text

There are different non-equivalent ways to approach first-order Łukasiewicz logic. In this paper the authors focus on a first-order logic in which the formulas are interpreted in the interval \([0,1]\) and the equality axioms are interpreted by a similarity relation (with respect to Łukasiewicz t-norm). This logic is not complete, there are true formulas that are not provable; see [\textit{B. Scarpellini}, ``Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, J. Symb. Log. 27, 159--170 (1963; Zbl 0112.24503)]. The authors prove, using the ultraproduct construction, that for this logic the compactness theorem holds: if a set of formulas is such that each of its finite subsets is \(K\)-satisfiable (there is an evaluation assigning to each formula a truth value in \(K\)) then the set itself is \(K\)-satisfiable. A comment on the relationship of this result with the incompleteness of the logic would have been appropriate.

Recommendations

• Compactness in first-order Gödel logics
• A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space
• Compactness of fuzzy logics.
• On the compactness property of extensions of first-order Gödel logic
• Two notions of compactness in Gödel logics

Cited in

(3)

• A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space
• Compactness in first-order Gödel logics
• scientific article; zbMATH DE number 7687773 (Why is no real title available?)

This page was built for publication: Compactness in first order Łukasiewicz logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2903759)