The following pages link to (Q4549474):
Displaying 15 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Adaptive fuzzy logics for contextual hedge interpretation (Q735409) (← links)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words (Q903641) (← links)
- Fuzzy information retrieval model revisited (Q1038018) (← links)
- An algebraic approach to propositional fuzzy logic (Q1971782) (← links)
- Residuated skew lattices (Q2198201) (← links)
- Proof theory for fuzzy logics (Q2519539) (← links)
- (Q3143796) (← links)
- (Q3143835) (← links)
- (Q5389675) (← links)
- (Q5389763) (← links)
- (Q5389820) (← links)
- (Q5389900) (← links)
- (Q5410346) (← links)
