The following pages link to (Q5413342):
Displaying 5 items.
- Combining intuitionistic connectives and Routley negation (Q890788) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- Partial logics with two kinds of negation as a foundation for knowledge-based reasoning (Q2715521) (← links)
- On the Logic and Computation of Partial Equilibrium Models (Q3533123) (← links)