Source: J. Symbolic Logic
Volume 71, Issue 1
Full-text: Access denied (no subscription
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
A. R. Anderson Completeness theorems for the systems E of entailment and EQ of entailment with quantification, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 201--216.
A. R. Anederson and N. D. Belnap Jr. Entailment, the logic of relevance and necessity, vol. 1, Princeton University Press,1975, [ENT1].
Mathematical Reviews (MathSciNet): MR406756
R. T. Brady Natural deduction systems for some quantified relevant logics, Logique et Analyse, vol. 27 (1984), pp. 355--377.
Mathematical Reviews (MathSciNet): MR788443
-------- Gentzenization and decidability of some contraction-less relevant logics, Journal of Philosophical Logic, vol. 20 (1991), pp. 97--117.
-------- Relevant implication and the case for a weaker logic, Journal of Philosophical Logic, vol. 25 (1996), pp. 151--183.
-------- Relevant logics and their rivals. Vol.2: A continuation of the work of R. Sylvan, R. K. Meyer, V. Plumwood and R. T. Brady, Ashgate, Aldershot,2003, [RLR2].
-------- Universal logic, CSLI, Stanford,2006, [UL].
D. Prawitz Natural deduction. a proof-theoretical study, Almqvist and Wiksell, Stockholm,1965.
Mathematical Reviews (MathSciNet): MR193005
R. Routley, R. K. Meyer, V. Plumwood, and R. T. Brady Relevant logics and their rivals, vol. 1, Ridgeview, Atascadero,1982, [RLR1].
J. K. Slaney A metacompleteness theorem for contraction-free relevant logics, Studia Logica, vol. 43 (1984), pp. 159--168.
Mathematical Reviews (MathSciNet): MR782856
-------- Reduced models for relevant logics without WI, Notre Dame Journal of Formal Logic, vol. 28 (1987), pp. 395--407.
Mathematical Reviews (MathSciNet): MR900081