No CrossRef data available.
Article contents
Circumscription within monotonic inferences
Published online by Cambridge University Press: 12 March 2014
Abstract
A conservative extension of first order logic, suitable for circumscriptive inference, is introduced.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1988