Buy Me a Coffee at ko-fi.com

Non-monotonic logic

formal logic whose conclusion relation is not monotonic

Pronunciation
/nɑn - ˌmɑnəˈtɑnɪk ˈlɑʤɪk/