Completeness with respect to a chain and universal models in fuzzy logic
From MaRDI portal
Publication:627436
DOI10.1007/s00153-010-0207-6zbMath1216.03047OpenAlexW2063261065MaRDI QIDQ627436
Publication date: 2 March 2011
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0207-6
Related Items (9)
A Note on Saturated Models for Many-Valued Logics ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ 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 ⋮ Single chain completeness and some related properties ⋮ A Note on Drastic Product Logic ⋮ On linear varieties of MTL-algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Residuated lattices. An algebraic glimpse at substructural logics
- Provability in predicate product logic
- Representation of MV-algebras by regular ultrapowers of \([0,1\)]
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Free products in the category of Abelian \(\ell\)-groups with strong unit
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Equational characterization of all varieties of MV-algebras
- One chain generated varieties of MV-algebras
- Basic hoops: an algebraic study of continuous t-norms
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Weakly implicative (fuzzy) logics. I: Basic properties
- On theories and models in fuzzy predicate logics
- On Weakly Cancellative Fuzzy Logics
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Algebraizable logics
This page was built for publication: Completeness with respect to a chain and universal models in fuzzy logic
