A dynamic characterization of the pure logic of relevant implication
Journal of Philosophical Logic 30 (3):267-280 (2001)
| Abstract | This paper spells out a dynamic proof format for the pure logic of relevant implication. (A proof is dynamic if a formula derived at some stage need not be derived at a later stage.) The paper illustrates three interesting points. (i) A set of properties that characterizes an inference relation on the (very natural) dynamic proof interpretation, need not characterize the same inference relation (or even any inference relation) on the usual set-theoretical interpretation. (ii) A proof format may display an internal dynamics (defeasible conclusions) in the absence of an external dynamics (non-monotonicity). (iii) A monotonic logic may have a non-monotonic characterization | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMichal Grabowski (1988). Arithmetical Completeness Versus Relative Completeness. Studia Logica 47 (3):213 - 220.
Jan van Eijck (2001). Incremental Dynamics. Journal of Logic, Language and Information 10 (3):319-351.
Barteld P. Kooi (2003). Probabilistic Dynamic Epistemic Logic. Journal of Logic, Language and Information 12 (4):381-408.
Marco Hollenberg (1997). An Equational Axiomatization of Dynamic Negation and Relational Composition. Journal of Logic, Language and Information 6 (4):381-401.
Herman Jurjus & Harrie de Swart (2001). Implication with Possible Exceptions. Journal of Symbolic Logic 66 (2):517-535.
Sonja Smets (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Jan Van Eijck & Fer-Jan De Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19 - 45.
Albert Visser (1997). Dynamic Relation Logic is the Logic of DPL-Relations. Journal of Logic, Language and Information 6 (4):441-452.
Diderik Batens & Joke Meheus (2000). The Adaptive Logic of Compatibility. Studia Logica 66 (3):327-348.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #161,910 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
