Assertion: nonmonotonic reasoning | /r/HasProperty | formal
Facets:
value: as susceptible
type: DEGREE
value: as deduction
type: MANNER
Source sentences:
text: However, it has turned out that deduction in mathematical logic can be supplemented by additional modes of nonmonotonic reasoning, which are just as formal as deduction and just as susceptible to mathematical study and computer implementation.