Pages that link to "Item:Q5937806"
From MaRDI portal
The following pages link to Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806):
Displayed 8 items.
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Useful Four-Valued Extension of the Temporal Logic KtT4 (Q4556005) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)