Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic | UPT Perpustakaan UHAMKA