The following pages link to (Q4825702):
Displaying 11 items.
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- The eskolemization of universal quantifiers (Q638487) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Density elimination (Q944384) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Density revisited (Q1699744) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
