The following pages link to (Q4464035):
Displaying 3 items.
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
- Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 (Q2988491) (← links)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)