scientific article; zbMATH DE number 4106806
From MaRDI portal
Publication:3830973
Cited in
(3)- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
- scientific article; zbMATH DE number 19712 (Why is no real title available?)
- Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3830973)
