- Modalities in a sequence of normal noncontingency modal systems.H. Montgomery & Richard Routley - 1969 - Logique Et Analyse 12:225-227.details
|
|
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Rozszerzenie zachowawcze W implikacji relewantnej.R. K. Meyer - 1973 - Studia Logica 31 (1):47-47.details
|
|
Classical relevant logics II.Robert K. Meyer & Richard Routley - 1974 - Studia Logica 33 (2):183 - 194.details
|
|
E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
E, R, and $gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Classical relevant logics. I.R. K. Meyer & Richard Routley - 1973 - Studia Logica 32:51.details
|
|
A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 31 (2):276-277.details
|
|
E, R and.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.details
|
|
Algebraic analysis of entailment I.Robert K. Meyer & Richard Routley - 1972 - Logique Et Analyse 15 (59/60):407-428.details
|
|
Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.details
|
|
The Weak Theory of Implication.Alonzo Church - 1951 - In Albert Menne (ed.), Kontrolliertes Denken: Untersuchungen zum Logikkalkül und zur Logik der Einzelwissenschaften. K. Alber. pp. 22-37.details
|
|
A simple natural deduction system.R. Routley - 1969 - Logique Et Analyse 12:129-152.details
|
|