A taxonomy of C-systems (2002)

by Walter A Carnielli, João Marcos
Venue:Proceedings of the 2nd World Congress on Paraconsistency (WCP 2000), volume 228 of Lecture Notes in Pure and Applied Mathematics