The following pages link to (Q3830973):
Displaying 3 items.
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) (Q828777) (← links)
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence (Q3003264) (← links)
- (Q3979210) (← links)