Natural deduction systems for Nelson's paraconsistent logic and its neighbors

From MaRDI portal
Publication:3647236