Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 36, Number 1 (1995), 44-54.
Semantics-based Nonmonotonic Inference
In this paper we discuss Gabbay's idea of basing nonmonotonic deduction on semantic consequence in intuitionistic logic extended by a consistency operator and Turner's suggestion of replacing the intuitionistic base system by Kleene's three-valued logic. It is shown that a certain counterintuitive feature of these approaches can be avoided by using Nelson's constructive logic N instead of intuitionistic logic or Kleene's system. Moreover, in N a more general notion of consistency can be defined and nonmonotonic deduction can thus be based on a logical system satisfying the Deduction Theorem.
Notre Dame J. Formal Logic, Volume 36, Number 1 (1995), 44-54.
First available in Project Euclid: 19 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Wansing, Heinrich. Semantics-based Nonmonotonic Inference. Notre Dame J. Formal Logic 36 (1995), no. 1, 44--54. doi:10.1305/ndjfl/1040308828. https://projecteuclid.org/euclid.ndjfl/1040308828