Pages that link to "Item:Q4868234"
From MaRDI portal
The following pages link to Exploiting data dependencies in many-valued logics (Q4868234):
Displaying 6 items.
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Systems of ordinal fuzzy logic with application to preference modelling (Q1349206) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
