An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic

Bulletin of the Section of Logic, Tom 39, Numer 3-4 (2010) s. 205-214
Norihiro Kamide

 

do góry