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 11 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)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← 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)
- Tarskian consequence relations bilaterally: some familiar notions (Q6088596) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)