On the public citation graph
The first axiomatization of relevant logic
0 signed · 62 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4613-0609-2_1openalex-snapshot
On the Early History of Intuitionistic Logic
inferredcites →https://doi.org/10.1007/978-3-662-38452-7_12openalex-snapshot
Die logischen Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferredcites →https://doi.org/10.1007/bf00260931openalex-snapshot
Modal translations in substructural logics
inferredcites →https://doi.org/10.1007/bf00370633openalex-snapshot
Sequent-systems and groupoid models. II
inferredcites →https://doi.org/10.1007/bf00671566openalex-snapshot
Sequent-systems and groupoid models. I
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bf01206621openalex-snapshot
Zur Begründung der intuitionistischen Mathematik. II
inferredcites →https://doi.org/10.1007/bf01209181openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. III
inferredcites →https://doi.org/10.1007/bf01448445openalex-snapshot
Die logischen Grundlagen der Mathematik
inferredcites →https://doi.org/10.1007/bf01449946openalex-snapshot
Begr�ndung des ?tertium non datur? mittels der Hilbertschen Theorie der Widerspruchsfreiheit
inferredcites →https://doi.org/10.1007/bf01449963openalex-snapshot
Zur Begr�ndung der intuitionistischen Mathematik. I.
inferredcites →https://doi.org/10.1007/bf01699094openalex-snapshot
Ergebnisse eines mathematischen Kolloquiums
inferredcites →https://doi.org/10.1007/bf01703328openalex-snapshot
Jahresbericht der deutschen Mathematiker-Vereinigung
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7073-9openalex-snapshot
Intuitionism An Introduction
inferredcites →https://doi.org/10.1017/s0022481200039396openalex-snapshot
A Bibliography of Symbolic Logic
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.2307/2219366openalex-snapshot
Entailment. The Logic of Relevance and Necessity. Volume I.
inferredcites →https://doi.org/10.2307/2266556openalex-snapshot
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich1951, pp. 22–37.
inferredcites →https://doi.org/10.2307/2275039openalex-snapshot
Richard Routley with Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant logics and their rivals. Part I. The basic philosophical and semantical theory. Ridgeview Publishing Company, Atascadero, Calif., 1982, xv + 460 pp.
inferredcites →https://doi.org/10.4064/fm-3-1-182-199openalex-snapshot
Sur l'opération Ā de l'Analysis Situs
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/malq.19930390119openalex-snapshot
Classically complete modal relevant logics
inferred← citeshttps://doi.org/10.1007/10703163_16openalex-snapshot
Kripke, Belnap, Urquhart and Relevant Decidability & Complexity
inferred← citeshttps://doi.org/10.1007/978-3-030-97303-2_18openalex-snapshot
Oskar Becker and the Modal Translation of Intuitionistic Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_15openalex-snapshot
New(ish) Foundations for Theories of Entailment
inferred← citeshttps://doi.org/10.1007/978-3-032-11027-5_20openalex-snapshot
Beyond Paraconsistency: A Plea for a Radical Breach with the Aristotelean Orthodoxy in Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-24756-4_10openalex-snapshot
Russian Origins of Non-Classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-14183-6_18openalex-snapshot
Where Did Mally Go Wrong?
inferred← citeshttps://doi.org/10.1007/978-94-017-2612-2_17openalex-snapshot
Radical Anti-Realism and Substructural Logics
inferred← citeshttps://doi.org/10.1007/bf00247002openalex-snapshot
Relevant implication and the case for a weaker logic
inferred← citeshttps://doi.org/10.1007/s10849-024-09417-5openalex-snapshot
Syllogistic Relevance and Term Logic
inferred← citeshttps://doi.org/10.1007/s10992-019-09541-9openalex-snapshot
A Relevant Logic of Questions
inferred← citeshttps://doi.org/10.1007/s11225-014-9598-4openalex-snapshot
Normal Proofs, Cut Free Derivations and Structural Rules
inferred← citeshttps://doi.org/10.1016/j.indag.2017.10.003openalex-snapshot
Lewis meets Brouwer: Constructive strict implication
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80006-9openalex-snapshot
Paraconsistency and Dialetheism
inferred← citeshttps://doi.org/10.1017/s0269889703000954openalex-snapshot
The Scholar and the “Wolfhound Era”: The Fate of Ivan E. Orlov's Ideas in Logic, Philosophy, and Science
inferred← citeshttps://doi.org/10.1017/s1755020309990293openalex-snapshot
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
inferred← citeshttps://doi.org/10.1017/s1755020319000133openalex-snapshot
TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
inferred← citeshttps://doi.org/10.1093/jigpal/jzu009openalex-snapshot
A cut-free sequent calculus for relevant logic RW
inferred← citeshttps://doi.org/10.1093/logcom/exac076openalex-snapshot
Classical reasoning in the justification paradigm
inferred← citeshttps://doi.org/10.1215/00294527-1722719openalex-snapshot
New Consecution Calculi for R→t
inferred← citeshttps://doi.org/10.12775/llp.2002.009openalex-snapshot
Compatibility and relevance: Bolzano and Orlov
inferred← citeshttps://doi.org/10.1590/s0100-60452011000100004openalex-snapshot
The dawn of paraconsistency: Russia's logical thought in the turn of XX century
inferred← citeshttps://doi.org/10.26686/ajl.v21i1.8098openalex-snapshot
A Guide to Ivan Orlov's "The calculus of the compatibility of propositions"
inferred← citeshttps://doi.org/10.2989/16073606.2011.622856openalex-snapshot
A perspective on the algebra of logic
inferred← citeshttps://doi.org/10.4000/13yi5openalex-snapshot
L’intuitionnisme d’al-Samaw’al : algèbre, arithmétique, géométrie, théologie, cosmologie
inferred← citeshttps://doi.org/10.4000/philosophiascientiae.1067openalex-snapshot
Constantes logiques et décision
inferred← citeshttps://doi.org/10.5007/1808-1711.2009v13n2p129openalex-snapshot
It's Not Given Us to Foretell How Our Words Will Echo through the Ages: The Reception of Novel Ideas by Scientific Community
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.