Pages that link to "Item:Q5946276"

The following pages link to \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276):

Displayed 1 item.

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) ‎ (← links)