The following pages link to Nonmonotonic inference operations (Q4291870):
Displaying 6 items.
- Nonmonotonic inference based on expectations (Q1321060) (← links)
- Nonmonotonic reasoning: From finitary relations to infinitary inference operations (Q1327479) (← links)
- Brave nonmonotonic inference and its kinds (Q1397238) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- Generalized compactness of nonmonotonic inference operations (Q4835518) (← links)
- Connectives in Cumulative Logics (Q5452189) (← links)