The following pages link to (Q4329354):
Displaying 5 items.
- A new axiomatization for involutive monoidal t-norm-based logic (Q1349201) (← links)
- Observations on the monoidal t-norm logic (Q1867661) (← links)
- (Q4458228) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Axiomatic Extensions of Hohle's Monoidal Logic (Q4902373) (← links)