The following pages link to \(n\)-contractive BL-logics (Q535139):
Displaying 5 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Uninorm logic with the \(n\)-potency axiom (Q695273) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
