Alternative proof of standard completeness theorem for MTL
From MaRDI portal
Publication:855228
DOI10.1007/s00500-006-0058-6zbMath1108.03029MaRDI QIDQ855228
Publication date: 4 January 2007
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-006-0058-6
03B52: Fuzzy logic; logic of vagueness
Related Items
Uniform proofs of standard completeness for extensions of first-order MTL, On Standard Completeness for Non-commutative Many-Valued Logics, Archimedean classes in integral commutative residuated chains
Cites Work
- Unnamed Item
- Unnamed Item
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Standard completeness theorem for \(\Pi\)MTL
- THE STRUCTURE OF RESIDUATED LATTICES