A general theory of structured consequence relations
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 [2224]). 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJames Hawthorne (1988). A Semantic Approach to Non-Monotonic Conditionals. In J. F. Lemmer & L. N. Kanal (eds.), Uncertainty in Artificial Intelligence 2. Elsevier.
Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro (1997). Synchronization of Logics. Studia Logica 59 (2):217-247.
Robert A. Herrmann (2007). General Logic-Systems and Finite Consequence Operators. Logica Universalis 1 (1).
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #180,324 of 556,747 )Recent downloads (6 months)1 ( #64,754 of 556,747 )How can I increase my downloads? |
My notes
Discussion
