Proof theory of Nelson's paraconsistent logic: a uniform perspective
scientific article; zbMATH DE number 6014302
scientific article