Alternative proof of standard completeness theorem for MTL

DOI10.1007/S00500-006-0058-6zbMath1108.03029OpenAlexW2013999314MaRDI QIDQ855228

Rostislav Horčík

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

zbMATH Keywords

Fuzzy logicLeft-continuous t-normMonoidal t-norm based logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (3)

Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Archimedean classes in integral commutative residuated chains ⋮ On Standard Completeness for Non-commutative Many-Valued Logics

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

This page was built for publication: Alternative proof of standard completeness theorem for MTL