Nonmonotonic theories and their axiomatic varieties

Journal of Logic, Language and Information 4 (4):317-334 (1995)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01049473

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Generalized compactness of nonmonotonic inference operations.Heinrich Herre - 1995 - Journal of Applied Non-Classical Logics 5 (1):121-135.
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition.Hannes Leitgeb - 2004 - Kluwer Academic Publishers.
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces.Matías Osta-Vélez & Peter Gärdenfors - 2021 - Journal of Logic, Language and Information 31 (1):77-97.
Formal Nonmonotonic Theories and Properties of Human Defeasible Reasoning.Marco Ragni, Christian Eichhorn, Tanja Bock, Gabriele Kern-Isberner & Alice Ping Ping Tse - 2017 - Minds and Machines 27 (1):79-117.
Relations between the logic of theory change and nonmonotonic logic.David Makinson & Peter Gärdenfors - 1991 - In Andre Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change: Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings. Springer. pp. 183--205.
Semantics-based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
General Patterns in Nonmonotonic Reasoning.David Makinson - 1994 - In Handbook of Logic in Artificial Intelligence Nad Logic Programming, Vol. Iii. Clarendon Press. pp. 35-110.
A Semantic Approach to Nonmonotonic Reasoning: Inference Operations and Choice, Uppsala Prints and Preprints in Philosophy, 1994, no 10.Sten Lindström - manuscript
Is human reasoning about nonmonotonic conditionals probabilistically coherent?Niki Pfeifer & G. D. Kleiter - 2006 - In Niki Pfeifer & G. D. Kleiter (eds.), Proceedings of the 7 T H Workshop on Uncertainty Processing. pp. 138--150.

Analytics

Added to PP
2009-01-28

Downloads
43 (#517,601)

6 months
5 (#1,037,427)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On finitely-valued inference systems.Zbigniew Stachniak - 1998 - Studia Logica 61 (1):149-169.

Add more citations

References found in this work

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.

View all 6 references / Add more references