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 basingnonmonotonic deduction on semantic consequence inintuitionistic logic extended by a consistency operator and Turner'ssuggestion of replacing the intuitionistic base system by Kleene'sthree-valued logic. It is shown that a certain counterintuitive feature ofthese approaches can be avoided by using Nelson's constructive logic Ninstead of intuitionistic logic or Kleene's system. Moreover, in N a moregeneral notion of consistency can be defined and nonmonotonic deductioncan thus be based on a logical system satisfying the DeductionTheorem.

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