Nichtmonotones Schließen

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Klasse inferentieller Prozesse, bei denen das Hinzufügen neuer Prämissen zuvor gezogene Schlussfolgerungen ungültig machen kann; die Schlussfolgerung ist widerlegbar statt streng monoton.