Pages that link to "Item:Q3424131"
From MaRDI portal
The following pages link to Decidability of Cancellative Extension of Monoidal T-norm Based Logic (Q3424131):
Displaying 5 items.
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic (Q1612690) (← links)
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) (Q1612691) (← links)
- Archimedean classes in integral commutative residuated chains (Q3632529) (← links)