Translator Disclaimer
Winter 1995 Semantics-based Nonmonotonic Inference
Heinrich Wansing
Notre Dame J. Formal Logic 36(1): 44-54 (Winter 1995). DOI: 10.1305/ndjfl/1040308828

Abstract

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.

Citation

Download Citation

Heinrich Wansing. "Semantics-based Nonmonotonic Inference." Notre Dame J. Formal Logic 36 (1) 44 - 54, Winter 1995. https://doi.org/10.1305/ndjfl/1040308828

Information

Published: Winter 1995
First available in Project Euclid: 19 December 2002

zbMATH: 0839.03012
MathSciNet: MR1359107
Digital Object Identifier: 10.1305/ndjfl/1040308828

Subjects:
Primary: 03B20
Secondary: 03B50, 03B60, 68T27

Rights: Copyright © 1995 University of Notre Dame

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.36 • No. 1 • Winter 1995
Back to Top