Nonmonotonic reasoning: From finitary relations to infinitary inference operations
type: Item
instance of: scholarly article
title: Nonmonotonic reasoning: From finitary relations to infinitary inference operations
zbMATH Open document ID: 0802.03022
DOI: 10.1007/BF01054708
author: Michael Freund
author: Daniel Lehmann
published in: Studia Logica
publication date: 1994-06-19T00:00:00Z
review text: A. Tarski proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, the monotonicity requirement is weakened and one considers more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to use when inferring defeasible information from incomplete knowledge. Some interesting families of inference operations are singled out and discussed. This study of infinitary inference operations is inspired by the results obtained in the case of nonmonotonic inference relations.
Mathematics Subject Classification ID: 03B60
zbMATH DE Number: 590918
zbMATH Keywords: nonmonotonic logic
zbMATH Keywords: nonmonotonic reasoning
zbMATH Keywords: infinitary inference operations
MaRDI profile type: Publication
cites work: The relationship between KLM and MAK models for nonmonotonic inference operations
cites work: Supracompact inference operations
cites work: Nonmonotonic inference operations
cites work: Counterfactuals
cites work: Nonmonotonic reasoning, preferential models and cumulative logics
cites work: Q3493328
cites work: What does a conditional knowledge base entail?
cites work: A logical framework for default reasoning
cites work: Some Results on Classical Preferential Models
description: scientific article; zbMATH DE number 590918