- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Nonmonotonic theories and their axiomatic varieties
Journal of Logic, Language and Information 4 (4):317-334 (1995)
Abstract
The properties of monotonic inference systems and the properties of their theories are strongly linked. These links, however, are much weaker in nonmonotonic inference systems. In this paper we introduce the notion of anaxiomatic variety for a theory and show how this notion, instead of the notion of a theory, can be used for the syntactic and semantic analysis of nonmonotonic inferences.My notes
Similar books and articles
The relationship between KLM and MAK models for nonmonotonic inference operations.Jürgen Dix & David Makinson - 1992 - Journal of Logic, Language and Information 1 (2):131-140.
Is human reasoning about nonmonotonic conditionals probabilistically coherent?Niki Pfeifer & G. D. Kleiter - 2006 - In Proceedings of the 7 T H Workshop on Uncertainty Processing. pp. 138--150.
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition.Hannes Leitgeb - 2004 - Kluwer Academic Publishers.
Change, choice and inference: a study of belief revision and nonmonotonic reasoning.Hans Rott - 2001 - New York: Oxford University Press.
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
Faithful representation of nonmonotonic patterns of inference.John Pais - 1992 - Minds and Machines 2 (1):27-49.
Belief contraction as nonmonotonic inference.Alexander Bochman - 2000 - Journal of Symbolic Logic 65 (2):605-626.
Analytics
Added to PP
2009-01-28
Downloads
37 (#407,825)
6 months
3 (#880,460)
2009-01-28
Downloads
37 (#407,825)
6 months
3 (#880,460)
Historical graph of downloads
Citations of this work
References found in this work
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Many-valued logics.Grzegorz Malinowski - 1993 - New York: Oxford University Press. Edited by L. Goble.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Oxford: Clarendon Press. pp. 35-110.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-9lpj8 uwo