Switch to: Citations

References in:

On finitely-valued inference systems

Zbigniew Stachniak

Studia Logica 61 (1):149-169 (1998)

Add references

You must login to add references.

Nonmonotonic theories and their axiomatic varieties.Zbigniew Stachniak - 1995 - Journal of Logic, Language and Information 4 (4):317-334.details 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. Epistemic Logic in Logic and Philosophy of Logic Nonmonotonic Logic in Logic and Philosophy of Logic Polish Philosophy in European Philosophy Propositional Attitudes in Philosophy of Mind Science, Logic, and Mathematics Direct download (3 more) Export citation Bookmark 1 citation
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.details An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic. Nonmonotonic Logic in Logic and Philosophy of Logic Export citation Bookmark 92 citations
Inferential many-valuedness.G. Malinowski - 1994 - In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 75--84.details Many-Valued Logic in Philosophy of Language $165.68 new $170.83 used $175.61 from Amazon (collection) View on Amazon.com Direct download Export citation Bookmark 17 citations

1