Pages that link to "Item:Q6488523"

The following pages link to Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523):

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)