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 settheoretical 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 relevant implication  dynamic proofs  non-monotonicity
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,269
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
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.
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.
Analytics

Monthly downloads

Added to index

2009-01-28

Total downloads

8 ( #157,622 of 1,096,179 )

Recent downloads (6 months)

3 ( #78,979 of 1,096,179 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.