The following pages link to (Q5406041):
Displaying 14 items.
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- Complexity of fuzzy answer set programming under Łukasiewicz semantics (Q465597) (← links)
- Complexity of some language fragments of fuzzy logics (Q1699732) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Complexity of fuzzy probability logics. II (Q2457028) (← links)
- Complexity of fuzzy probability logics (Q2711325) (← links)
- (Q3369138) (← links)
- Some Complexity Results on Fuzzy Description Logics (Q3593174) (← links)
- On decidability of concept satisfiability in description logic with product semantics (Q6079414) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
