Pages that link to "Item:Q1205717"

The following pages link to The completeness of gp-resolution for annotated logics (Q1205717):

Displaying 2 items.

• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)