- (2 other versions)The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.details
|
|
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.details
|
|
A correction to my paper "Connections between some notions of completeness of structural propositional calculi".Marek Tokarz - 1975 - Studia Logica 34 (3):293 -.details
|
|
On an implication connective of RM.Arnon Avron - 1986 - Notre Dame Journal of Formal Logic 27 (2):201-209.details
|
|
A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.R. Zane Parks - 1972 - Notre Dame Journal of Formal Logic 13 (2):227-228.details
|
|
(1 other version)Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.details
|
|
(1 other version)E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.details
|
|
Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 280–308.details
|
|
A Finite Basis Theorem For Residually Finite, Congruence Meet-semidistributive Varieties.Ross Willard - 2000 - Journal of Symbolic Logic 65 (1):187-200.details
|
|
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.details
|
|
Deduction Theorems within RM and Its Extensions.J. Czelakowski & W. Dziobiak - 1999 - Journal of Symbolic Logic 64 (1):279-290.details
|
|
On the interpretation of the sign `$\supset$'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60 - 62.details
|
|
(1 other version)Implicational f-structures and implicational relevance logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.details
|
|
(1 other version)An alternative formalisation of Sobociński's three-valued implicational propositional calculus.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):166-172.details
|
|
(3 other versions)Relevance and paraconsistency---a new approach. II. The formal systems.Arnon Avron - 1990 - Notre Dame Journal of Formal Logic 31 (2):169-202.details
|
|
On the interpretation of the sign '⊃'.John Myhill - 1953 - Journal of Symbolic Logic 18 (1):60-62.details
|
|
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.details
|
|
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.details
|
|
E, R and.Robert K. Meyer - 1969 - Journal of Symbolic Logic 34:460.details
|
|
On conserving positive logics.Robert K. Meyer - 1973 - Notre Dame Journal of Formal Logic 14 (2):224-236.details
|
|
The undecidability of entailment and relevant implication.Alasdair Urquhart - 1984 - Journal of Symbolic Logic 49 (4):1059-1073.details
|
|
Sentential logics and Maehara interpolation property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.details
|
|
On the lattice of quasivarieties of Sugihara algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.details
|
|
Relevant entailment--semantics and formal systems.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (2):334-342.details
|
|
A Constructive Analysis of $mathbf{RM}$.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939-951.details
|
|
Protoalgebraic Logics.Janusz Czelakowski - 2001 - Kluwer Academic Publishers.details
|
|
Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.details
|
|
(1 other version)Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19‐20):291-295.details
|
|
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.details
|
|
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.details
|
|
A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.details
|
|
Functions definable in Sugihara algebras and their fragments (I).Marek Tokarz - 1975 - Studia Logica 34 (4):295 - 304.details
|
|
Conservative extension in relevant implication.Robert K. Meyer - 1973 - Studia Logica 31 (1):39 - 48.details
|
|
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.details
|
|
(3 other versions)Relevance and paraconsistency-A new approach Part II: The formal systems.Arnon Avron - 1990 - Notre Dame Journal of Formal Logic 31:169-202.details
|
|
Note on algebraic models for relevance logic.Josep M. Font & Gonzalo Rodríguez - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):535-540.details
|
|
(1 other version)E, R, and $gamma$.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.details
|
|
(1 other version)The existence of matrices strongly adequate for e, R and their fragments.Marek Tokarz - 1979 - Studia Logica 38 (1):75 - 85.details
|
|
(1 other version)Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.details
|
|
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.details
|
|
Whither relevance logic?Arnon Avron - 1992 - Journal of Philosophical Logic 21 (3):243 - 281.details
|
|
(3 other versions)Relevance and paraconsistency—a new approach.Arnon Avron - 1990 - Journal of Symbolic Logic 55 (2):707-732.details
|
|
Books received. [REVIEW]Janusz Czelakowski - 1986 - Studia Logica 45 (3):329-333.details
|
|
(1 other version)Review: A. E. Heath, Studies in Logic and Probability. [REVIEW]Michael Dummett - 1959 - Journal of Symbolic Logic 24 (3):203-209.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.details
|
|
The compatibility of relevance and Mingle.José M. Méndez - 1988 - Journal of Philosophical Logic 17 (3):279 - 297.details
|
|
E, R and γ.Robert K. Meyer & J. Michael Dunn - 1971 - Journal of Symbolic Logic 36 (3):521-522.details
|
|
Functions definable in Sugihara algebras and their fragments.Marek Tokarz - 1975 - Studia Logica 34 (4):295-304.details
|
|