Ternary and quaternary deductive terms for Nelson algebras
From MaRDI portal
Publication:2583591
Cited in
(4)- scientific article; zbMATH DE number 1354940 (Why is no real title available?)
- Constructive logic with strong negation is a substructural logic. I
- Constructive logic with strong negation is a substructural logic. II
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
This page was built for publication: Ternary and quaternary deductive terms for Nelson algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2583591)