Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
Add to list
  1. Search results
  2. A dynamic characterization of the pur...

A dynamic characterization of the pure logic of relevant implication

Diderik Batens (UGent)
(2001) JOURNAL OF PHILOSOPHICAL LOGIC. 30(3). p.276-280
Author
Organization
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 papers 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
dynamic proofs, relevant implication, non-monotonicity

Citation

Please use this url to cite or link to this publication:

MLA
Batens, Diderik. “A Dynamic Characterization of the Pure Logic of Relevant Implication.” JOURNAL OF PHILOSOPHICAL LOGIC, vol. 30, no. 3, KLUWER ACADEMIC PUBL, 2001, pp. 276–80.
APA
Batens, D. (2001). A dynamic characterization of the pure logic of relevant implication. JOURNAL OF PHILOSOPHICAL LOGIC, 30(3), 276–280.
Chicago author-date
Batens, Diderik. 2001. “A Dynamic Characterization of the Pure Logic of Relevant Implication.” JOURNAL OF PHILOSOPHICAL LOGIC 30 (3): 276–80.
Chicago author-date (all authors)
Batens, Diderik. 2001. “A Dynamic Characterization of the Pure Logic of Relevant Implication.” JOURNAL OF PHILOSOPHICAL LOGIC 30 (3): 276–280.
Vancouver
1.
Batens D. A dynamic characterization of the pure logic of relevant implication. JOURNAL OF PHILOSOPHICAL LOGIC. 2001;30(3):276–80.
IEEE
[1]
D. Batens, “A dynamic characterization of the pure logic of relevant implication,” JOURNAL OF PHILOSOPHICAL LOGIC, vol. 30, no. 3, pp. 276–280, 2001.
@article{321513,
  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 papers 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.}},
  author       = {{Batens, Diderik}},
  issn         = {{0022-3611}},
  journal      = {{JOURNAL OF PHILOSOPHICAL LOGIC}},
  keywords     = {{dynamic proofs,relevant implication,non-monotonicity}},
  language     = {{eng}},
  number       = {{3}},
  pages        = {{276--280}},
  publisher    = {{KLUWER ACADEMIC PUBL}},
  title        = {{A dynamic characterization of the pure logic of relevant implication}},
  volume       = {{30}},
  year         = {{2001}},
}
Web of Science
Times cited: