Nonmonotonic reasoning: from finitary relations to infinitary inference operations

Michael Freund*, Daniel Lehmann

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Abstract

A. Tarski [22] 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, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference operations is inspired by the results of [12] on nonmonotonic inference relations, and relies on some of the definitions found there.

Original languageEnglish
Pages (from-to)161-201
Number of pages41
JournalStudia Logica
Volume53
Issue number2
DOIs
StatePublished - Jun 1994

Fingerprint

Dive into the research topics of 'Nonmonotonic reasoning: from finitary relations to infinitary inference operations'. Together they form a unique fingerprint.

Cite this