Alternative proof of standard completeness theorem for MTL

DOI10.1007/S00500-006-0058-6zbMATH Open1108.03029OpenAlexW2013999314MaRDI QIDQ855228FDOQ855228

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

Recommendations

• Standard completeness theorem for \(\Pi\)MTL
• A proof of standard completeness for Esteva and Godo's logic MTL
• On standard completeness for non-commutative many-valued logics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic

zbMATH Keywords

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

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Triangular norms
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Title not available (Why is that?)
• 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
• Standard completeness theorem for \(\Pi\)MTL
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• THE STRUCTURE OF RESIDUATED LATTICES
• Title not available (Why is that?)

Cited In (8)

• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A proof of standard completeness for Esteva and Godo's logic MTL
• Standard completeness theorem for \(\Pi\)MTL
• Archimedean classes in integral commutative residuated chains
• Uniform proofs of standard completeness for extensions of first-order MTL
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On Standard Completeness for Non-commutative Many-Valued Logics
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions

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

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