Whither relevance logic?

Springer Science and Business Media LLC - Tập 21 - Trang 243-281 - 1992
Arnon Avron1
1Raymond and Beverly Sackler Faculty of Exact Sciences, School of Mathematical Sciences, Tel Aviv University, Ramat-Aviv, Israel

Tài liệu tham khảo

Anderson, A. R. and Belnap, N. D.,Entailment, vol. 1, Princeton University Press, Princeton, N.J., 1975. Avron, A., Relevant entailment: semantics and formal systems,J.S.L. 49 (1984), pp. 334–342. Avron, A., Relevance and paraconsistency — A new approach,J.S.L. 55 (1990), pp. 707–732. Avron, A., Relevance and paraconsistency — A new approach. Part II: The formal systems.N.D.J.F.L. 31 (1990), pp. 169–202. Avron, A., Relevance and paraconsistency — A new approach. Part III: Cut free Gentzen-type systems.N.D.J.F.L. 32 (1991), pp. 147–160. Avron, A., Simple Consequence Relations,Information and Computation 92 (1991), pp. 105–139. Avron, A., A constructive analysis of RM,J.S.L. 52 (1987), pp. 939–951. Burgess, J. P., Relevance — a fallacy?,Notre Dame Journal of Formal Logic 22 (1981), pp. 97–104. Church, A., The weak theory of implication, in:Kontrollcenter Denken, ed. by Menne, Wilhelm & Angsil, Munich (1951), pp. 22–37 Došen, K., Sequent-systems and groupoid models, I and II,Studia Logica 47 (1988), pp. 353–385 and48 (1989), pp. 41–65. Dunn, J. M., Relevant logic and entailment, in:Handbook of Philosophical Logic, Vol. III, ed. by D. Gabbay and F. Guenthner, Reidel: Dordrecht, Holland: Boston: U.S.A. (1984). Feferman, S., Hilbert program relativized: proof-theoretical and foundational reductions,J.S.L. 53 (1988), pp. 364–383. Gentzen, G., The concept of infinity in mathematics, in:The Collected Work of Gerhard Gentzen, edited by M. E. Szabo, pp. 223–233, North-Holland, Amsterdam, (1969). Girard, J. Y., Linear logic,Theoretical Computer Science 50 (1987), pp. 1–101. Hacking, I., What is logic,The Journal of Philosophy 76 (1979), pp. 285–318. Meyer, R. K., ‘Why I am not a relevantist’, Research paper No. I, Logic group, R.S.S.S., Austrial National University. Meyer, R. K. and McRobbie, M. A., Multisets and relevant implication,Australian J. of Philosophy 60 (1982), pp. 107–139. Routley, R., Meyer, R. K., Plumwood, V., and Brady, R.,Relevant Logics and Their Rivals. Part 1: The Basic Philosophical and Semantical Theory, Ridgeview, Atascadero, California, 1984. Sobocínski, B., Axiomatization of partial system of three-valued calculus of proposition,The Journal of Computing Systems 11(1) (1952), pp. 23–55. Urquhart, A., The undecidability of entailment and relevant implication,J.S.L. 49 (1984), pp. 1059–1073. Wójcicki, R.,Theory of Logical Calculi, Synthese Library/Vol. 199, Kluwer Academic Publishers (1988).