- The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.details
|
|
The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.details
|
|
A Theory of Formal Deducibility.Haskell Brooks Curry - 1966 - Notre Dame, IN, USA: [University of Notre Dame Press].details
|
|
The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.details
|
|
A consecutive calculus for positive relevant implication with necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Vollständige Systeme modaler und intuitionistischer Logik.Kurt Schütte - 1968 - New York,: Springer Verlag.details
|
|
Modal logic: the Lewis-modal systems.Joseph Jay Zeman - 1973 - London,: Clarendon Press.details
|
|
Schütte Kurt. Vollständige Systeme modaler und intuitionistischer Logik. Ergebnisse der Mathematik und ihrer Grenzgebiete, no. 42. Springer-Verlag, Berlin-Heidelberg-New York 1968, VII + 87 pp. [REVIEW]R. E. Vesley - 1971 - Journal of Symbolic Logic 36 (3):522-522.details
|
|
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.details
|
|
Failure of interpolation in relevant logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.details
|
|
Algebra of proofs.M. E. Szabo - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.details
|
|
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.details
|
|
The semantics of entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.details
|
|
Survey of generalizations of Urquhart semantics.R. A. Bull - 1987 - Notre Dame Journal of Formal Logic 28 (2):220-237.details
|
|
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.details
|
|
Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.details
|
|
Multisets and Relevant Implication.R. K. Meyer - 1982 - Australasian Journal of Philosophy 60:107.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.details
|
|
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.details
|
|
Predicate logics without the structure rules.Yuichi Komori - 1986 - Studia Logica 45 (4):393 - 404.details
|
|
A Simplified Proof Method for Elementary Logic.Stig Kanger, P. Braffort & D. Hirschberg - 1967 - Journal of Symbolic Logic 32 (1):119-119.details
|
|
What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.details
|
|
What is Strict Implication?Ian Hacking - 1972 - Journal of Symbolic Logic 37 (2):417-417.details
|
|
TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.details
|
|
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.details
|
|
ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions. [REVIEW]H. Friedman & Rc Flagg - 1986 - Annals of Pure and Applied Logic 32 (C):299.details
|
|
Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.details
|
|
A system of formal logic without an analogue to the Curry W operator.Frederic Brenton Fitch - 1936 - Journal of Symbolic Logic 1 (3):92-100.details
|
|
Sequent-systems for modal logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.details
|
|
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.details
|
|
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.details
|
|
Modal logic as metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.details
|
|
A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic.Kosta Došen - 1981 - Journal of Philosophical Logic 10 (4):399 - 408.details
|
|
Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.details
|
|
Lectures on Linear Logic.Anne Sjerp Troelstra - 1992 - Center for the Study of Language and Information Publications.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
|
|
Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.details
|
|
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.details
|
|
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details
|
|
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.details
|
|
Proof tableau formulations of some first-order relevant ortho-logics.Michael Mcrobbie & Nuel Belnap Jr - 1984 - Bulletin of the Section of Logic 13 (4):233-239.details
|
|
Topics in Modal and Many-Valued Logic.Robert Kenneth Meyer - 1966 - Dissertation, University of Pittsburghdetails
|
|