The following pages link to (Q4255505):
Displaying 8 items.
- (Q2766946) (← links)
- Vague domains, S-unification and logic programming (Q2842597) (← links)
- (Q4312461) (← links)
- Higher-Order Multi-Valued Resolution (Q4443416) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- \(\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)
