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):
Displayed 6 items.
- 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)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)