The following pages link to (Q4314600):
Displaying 5 items.
- Binary resolution over Boolean lattices (Q853473) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Systems of ordinal fuzzy logic with application to preference modelling (Q1349206) (← links)
- The possibilistic Horn non-clausal knowledge bases (Q2105624) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)