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)
Reprint years 2004
DOI 10.1023/A:1017520011692
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,224
Through your library
References found in this work BETA
On Inferences From Inconsistent Premises.N. Rescher & R. Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Dynamic Relation Logic is the Logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
From Intuitionistic Logic to Dynamic Operational Quantum Logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Implication with Possible Exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Incremental Dynamics.Jan van Eijck - 2001 - Journal of Logic, Language and Information 10 (3):319-351.
The Adaptive Logic of Compatibility.Diderik Batens & Joke Meheus - 2000 - Studia Logica 66 (3):327-348.
Added to PP index
2009-01-28

Total downloads
32 ( #164,753 of 2,192,001 )

Recent downloads (6 months)
2 ( #144,930 of 2,192,001 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature