Pages that link to "Item:Q4208858"
From MaRDI portal
The following pages link to A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858):
Displaying 9 items.
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- A causal approach to nonmonotonic reasoning (Q814640) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Bi-state Logic (Q2900524) (← links)
- Bilattices and the semantics of logic programming (Q3983121) (← links)
- The Essential Inadequacy of Deduction in Logic Programming (Q4834296) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)