Pages that link to "Item:Q1778060"
From MaRDI portal
The following pages link to Standard completeness theorem for \(\Pi\)MTL (Q1778060):
Displayed 16 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Alternative proof of standard completeness theorem for MTL (Q855228) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories (Q876492) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Ordered groups with a conucleus (Q1035670) (← links)
- Density revisited (Q1699744) (← links)
- Rotation logics (Q2219165) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Strong non-standard completeness for fuzzy logics (Q2466757) (← links)