Pages that link to "Item:Q855228"
From MaRDI portal
The following pages link to Alternative proof of standard completeness theorem for MTL (Q855228):
Displaying 9 items.
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- A proof of standard completeness for Esteva and Godo's logic MTL (Q1604791) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions (Q1699738) (← links)
- Standard completeness theorem for \(\Pi\)MTL (Q1778060) (← links)
- On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)