What is a (non-constructive) non-monotone logical system?
scientific article; zbMATH DE number 1493210