Logic Journal of the IGPL 1 (1):23-68 (1993)

Abstract
A. Tarski [21] 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 dofeasible 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 [11] on finitary nonmonotonic operations, but this paper is self-contained
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/1.1.23
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,786
Through your library

References found in this work BETA

Results on Infinite Extensions.Karl Schlechta - 1991 - Journal of Applied Non-Classical Logics 1 (1):65-72.

Add more references

Citations of this work BETA

Generalized Compactness of Nonmonotonic Inference Operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.
Characterizations of Preferential Entailments.Yves Moinard & Raymond Rolland - 2002 - Logic Journal of the IGPL 10 (3):245-272.
Defaults as Restrictions on Classical Hilbert-Style Proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.

Add more citations

Similar books and articles

Supracompact Inference Operations.Michael Freund - 1993 - Studia Logica 52 (3):457 - 481.
Generalized Compactness of Nonmonotonic Inference Operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.
Supervenience and Infinitary Property-Forming Operations.Ralf M. Bader - 2012 - Philosophical Studies 160 (3):415-423.
A Theory of Operations on the Universe II. Infinitary Operations.Narciso Garcia - 1991 - Mathematical Logic Quarterly 37 (31‐32):481-488.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
Nonmonotonic Inconsistency.Charles B. Cross - 2003 - Artificial Intelligence 149 (2):161-178.
Nonmonotonic Theories and Their Axiomatic Varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.
Logical Operations.Vann McGee - 1996 - Journal of Philosophical Logic 25 (6):567 - 580.
Logical Problems with Nonmonotonicity.Piotr Łukowski - 2014 - Logic and Logical Philosophy (2):171-188.

Analytics

Added to PP index
2015-02-04

Total views
6 ( #1,079,637 of 2,425,462 )

Recent downloads (6 months)
1 ( #547,144 of 2,425,462 )

How can I increase my downloads?

Downloads

My notes