Friday, April 01, 2005

Nonmonotonic vs monotonic logic

If a logic system concludes more as you assume more, then the system is monotonic.