@article{DBLP:journals/tcs/BesnardS00, title = {What is a (non-constructive) non-monotone logical system?}, author = {Besnard, Philippe and Schaub, Torsten}, journal = {Theor. Comput. Sci.}, number = {1-2}, pages = {489--494}, volume = {238}, year = {2000} }