Pages that link to "Item:Q1276262"
From MaRDI portal
The following pages link to Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262):
Displaying 11 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)
- Dual tableau for monoidal triangular norm logic MTL (Q622083) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- The complexity of McNaughton functions of one variable (Q1271879) (← links)
- Graded many-valued resolution with aggregation. (Q1428680) (← links)
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic (Q1933772) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
