Pages that link to "Item:Q1759710"
From MaRDI portal
The following pages link to On the independence of axioms in BL and MTL (Q1759710):
Displaying 9 items.
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Disjunctive elimination rule and its application in MTL (Q869116) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- A note on minimal axiomatisations of some extensions of MTL (Q2350487) (← links)
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
- Undefinability of min-conjunction in MTL (Q2492317) (← links)
- (Q5084197) (← links)