Pages that link to "Item:Q853473"
From MaRDI portal
The following pages link to Binary resolution over Boolean lattices (Q853473):
Displaying 4 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Binary resolution over complete residuated Stone lattices (Q835103) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Sparse Boolean equations and circuit lattices (Q2430703) (← links)