Pages that link to "Item:Q835103"

The following pages link to Binary resolution over complete residuated Stone lattices (Q835103):

Displaying 2 items.

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
• On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)