Alternative proof of standard completeness theorem for MTL
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 1314876 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- A proof of standard completeness for Esteva and Godo's logic MTL
- 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
- Standard completeness theorem for \(\Pi\)MTL
- THE STRUCTURE OF RESIDUATED LATTICES
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Triangular norms
Cited in
(8)- Standard completeness theorem for \(\Pi\)MTL
- On standard completeness for non-commutative many-valued logics
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Archimedean classes in integral commutative residuated chains
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Uniform proofs of standard completeness for extensions of first-order MTL
- A proof of standard completeness for Esteva and Godo's logic MTL
- 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)
