Completeness with respect to a chain and universal models in fuzzy logic
A logic \(L\) is called ``strongly complete with respect to a chain \(C\) if the consequence relation of \(L\) is determined by \(C\). For infinite-valued Łukasiewicz logic it is known for a long time that this is the case whenever \(C\) is an MV-algebra obtained as the ultraproduct of \([0,1]\) via a nonprincipal ultrafilter. See, e.g., \textit{J. Czelakowski}'s paper [Bull. Sect. Logic, Pol. Acad. Sci. 8, 79--82 (1979; Zbl 0418.03019)] together with \textit{R. Wójcicki}'s one [Z. Math. Logik Grundlagen Math. 19, 239--247 (1973; Zbl 0313.02008)]. See also Chapter 20 of the present reviewer's book [Advanced Łukasiewicz calculus and MV-algebras (to appear). Trends in Logic -- Studia Logica Library 35. Berlin: Springer (2011; Zbl 1235.03002)]. For general results along these lines see [\textit{W. Dziobiak}, \textit{A. V. Kravchenko} and \textit{P. J. Wojciechowski}, Stud. Log. 91, No.~1, 113--123 (2009; Zbl 1167.08004)]. The paper under review investigates the strong completeness property (with respect to a single chain) of several many-valued logics and their first-order counterparts. Sufficient conditions are given for a logic to have this property, notably the joint embedding property of \(L\)-chains.
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- Basic hoops: an algebraic study of continuous t-norms
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Equational characterization of all varieties of MV-algebras
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1526147 (Why is no real title available?)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On the structure of hoops
- On theories and models in fuzzy predicate logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- On Weakly Cancellative Fuzzy Logics
- One chain generated varieties of MV-algebras
- Provability in predicate product logic
- Representation of MV-algebras by regular ultrapowers of \([0,1]\)
- Residuated lattices. An algebraic glimpse at substructural logics
- Varieties of BL-algebras. I: General properties.
- Weakly implicative (fuzzy) logics. I: Basic properties
- Structural completeness in fuzzy logics
- The logic of the strongest and the weakest t-norms
- On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
- Obituary: Franco Montagna (1948--2015)
- Free weak nilpotent minimum algebras
- On linear varieties of MTL-algebras
- On the existence of free models in fuzzy universal Horn classes
- Strong non-standard completeness for fuzzy logics
- scientific article; zbMATH DE number 4204321 (Why is no real title available?)
- A note on saturated models for many-valued logics
- The variety generated by all the ordinal sums of perfect MV-chains
- A Note on Drastic Product Logic
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions
- Single chain completeness and some related properties
This page was built for publication: Completeness with respect to a chain and universal models in fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q627436)
