The following pages link to (Q3786473):
Displaying 8 items.
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639) (← links)
- Intuitionistic three-valued logic and logic programming (Q3991300) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- A three-valued approach to default logic (Q4881435) (← links)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)
