Theoria 10 (2):49-78 (1995)
|Abstract||There are several areas in logic where the monotonicity of the consequence relation fails to hold. Roughly these are the traditional non-monotonic systems arising in Artificial Intelligence (such as defeasible logics, circumscription, defaults, ete), numerical non-monotonic systems (probabilistic systems, fuzzy logics, belief functions), resource logics (also called substructural logics such as relevance logic, linear logic, Lambek calculus), and the logic of theory change (also called belief revision, see Alchourron, Gärdenfors, Makinson ). We are seeking a common axiomatic and semantical approach to the notion of consequence whieh can be specialised to any of the above areas. This paper introduces the notions of structured consequence relation, shift operators and structural connectives, and shows an intrinsic connection between the above areas|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
James Hawthorne (1988). A Semantic Approach to Non-Monotonic Conditionals. In J. F. Lemmer & L. N. Kanal (eds.), Uncertainty in Artificial Intelligence 2. Elsevier.
G. Aldo Antonelli (1999). A Directly Cautious Theory of Defeasible Consequence for Default Logic Via the Notion of General Extension. Artificial Intelligence 109 (1-2):71-109.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Piotr Wilczek, Model-Theoretic Investigations Into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.
Robert A. Herrmann (2007). General Logic-Systems and Finite Consequence Operators. Logica Universalis 1 (1):201-208.
Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
Added to index2009-01-28
Total downloads5 ( #169,891 of 722,752 )
Recent downloads (6 months)1 ( #60,247 of 722,752 )
How can I increase my downloads?