Pages that link to "Item:Q2303584"
From MaRDI portal
The following pages link to Modeling the interaction of computer errors by four-valued contaminating logics (Q2303584):
Displaying 4 items.
- Proof theory of paraconsistent weak Kleene logic (Q2193974) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- A generalization of Beall's off-topic interpretation (Q6597133) (← links)