Pages that link to "Item:Q835103"
From MaRDI portal
The following pages link to Binary resolution over complete residuated Stone lattices (Q835103):
Displaying 3 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)
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
