Pages that link to "Item:Q1629954"
From MaRDI portal
The following pages link to Minimally many-valued extensions of the monoidal t-norm based logic MTL (Q1629954):
Displaying 7 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Computational complexities of axiomatic extensions of monoidal t-norm based logic (Q2391235) (← links)
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic (Q3424131) (← links)