The following pages link to (Q4636052):
Displaying 4 items.
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
