An Expressive Three-valued Logic with Two Negations.

Douglas R. Busch

Browse the full ISMIS paper archive.