Pages that link to "Item:Q816860"
From MaRDI portal
The following pages link to Short note: on the redundancy of axiom (A3) in BL and MTL (Q816860):
Displayed 5 items.
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- On the independence of axioms in BL and MTL (Q1759710) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)