Graduate studies at Western
Studia Logica 53 (2):161 - 201 (1994)
|Abstract||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, 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  on nonmonotonic inference relations, and relies on some of the definitions found there.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Niki Pfeifer & G. D. Kleiter (2006). Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent? In Proceedings of the 7 T H Workshop on Uncertainty Processing.
Arnon Avron, General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
George Epstein & Helena Rasiowa (1995). A Partially Ordered Extention of the Integers. Studia Logica 54 (3):303 - 332.
Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín (2011). On Some Compatible Operations on Heyting Algebras. Studia Logica 98 (3):331-345.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
John Pais (1992). Faithful Representation of Nonmonotonic Patterns of Inference. Minds and Machines 2 (1):27-49.
Jürgen Dix & David Makinson (1992). The Relationship Between KLM and MAK Models for Nonmonotonic Inference Operations. Journal of Logic, Language and Information 1 (2):131-140.
Michael Freund (1993). Supracompact Inference Operations. Studia Logica 52 (3):457 - 481.
Ralf M. Bader (2012). Supervenience and Infinitary Property-Forming Operations. Philosophical Studies 160 (3):415-423.
Added to index2009-01-28
Total downloads3 ( #214,062 of 740,492 )
Recent downloads (6 months)0
How can I increase my downloads?