On the public citation graph

Relevant implication and the case for a weaker logic

https://doi.org/10.1007/bf00247002
0 signed · 66 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4899-0548-2_25openalex-snapshot
A Farewell to Entailment
inferredcites →https://doi.org/10.1007/978-94-009-1005-8_16openalex-snapshot
Incompleteness for Quantified Relevance Logics
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferredcites →https://doi.org/10.1007/978-94-009-8356-4_13openalex-snapshot
Entailment and the disjunctive syllogism
inferredcites →https://doi.org/10.1007/bf00211185openalex-snapshot
The gentzenization and decidability of RW
inferredcites →https://doi.org/10.1007/bf00249674openalex-snapshot
Semantics for quantified relevance logic
inferredcites →https://doi.org/10.1007/bf00257480openalex-snapshot
Models for entailment
inferredcites →https://doi.org/10.1007/bf00258076openalex-snapshot
A sieve for entailments
inferredcites →https://doi.org/10.1007/bf00260740openalex-snapshot
The first axiomatization of relevant logic
inferredcites →https://doi.org/10.1007/bf00260741openalex-snapshot
Hierarchical semantics for relevant logics
inferredcites →https://doi.org/10.1007/bf00262864openalex-snapshot
Sense, entailment and Modus ponens
inferredcites →https://doi.org/10.1007/bf00367469openalex-snapshot
Relevant predication 2: Intrinsic properties and internal relations
inferredcites →https://doi.org/10.1007/bf00370190openalex-snapshot
Minimally inconsistent LP
inferredcites →https://doi.org/10.1007/bf00431183openalex-snapshot
Relevant predication 1: The formal theory
inferredcites →https://doi.org/10.1007/bf00454743openalex-snapshot
Gentzenization and decidability of some contraction-less relevant logics
inferredcites →https://doi.org/10.1007/bf00935740openalex-snapshot
Depth relevance of some paraconsistent logics
inferredcites →https://doi.org/10.1007/bf00935746openalex-snapshot
The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
inferredcites →https://doi.org/10.1007/bf00935747openalex-snapshot
A metacompleteness theorem for contraction-free relevant logics
inferredcites →https://doi.org/10.1007/bf01050340openalex-snapshot
Rules in relevant logic - I: Semantic classification
inferredcites →https://doi.org/10.1007/bf01053260openalex-snapshot
Rules in relevant logic ? II: Formula representation
inferredcites →https://doi.org/10.1007/bf01349560openalex-snapshot
Failure of interpolation in relevant logics
inferredcites →https://doi.org/10.1007/bf02770515openalex-snapshot
A content semantics for quantified relevant logics. II
inferredcites →https://doi.org/10.1016/s0049-237x(09)70492-6openalex-snapshot
Problems and Solutions in the Semantics of Quantified Relevant Logics. I.
inferredcites →https://doi.org/10.1080/00048407412341231openalex-snapshot
Entailment is not strict implication
inferredcites →https://doi.org/10.1305/ndjfl/1093637560openalex-snapshot
Reduced models for relevant logics without ${\rm WI}$.
inferredcites →https://doi.org/10.1305/ndjfl/1093870218openalex-snapshot
The validity of disjunctive syllogism is not so easily proved.
inferredcites →https://doi.org/10.1305/ndjfl/1093870219openalex-snapshot
Common sense and ``relevance''.
inferredcites →https://doi.org/10.1305/ndjfl/1093870447openalex-snapshot
The simple consistency of a set theory based on the logic ${\rm CSQ}$.
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/2268750openalex-snapshot
Begründung einer strengen Implikation
inferredcites →https://doi.org/10.2307/2270909openalex-snapshot
E, R AND γ
inferredcites →https://doi.org/10.2307/2274261openalex-snapshot
The undecidability of entailment and relevant implication
inferredcites →https://doi.org/10.2307/2275666openalex-snapshot
Gentzenizations of relevant logics without distribution. I
inferredcites →https://doi.org/10.25911/5d6cfbcc81122openalex-snapshot
A proof theoretical investigation of relevant and modal logics
inferredcites →https://doi.org/10.7551/mitpress/5938.001.0001openalex-snapshot
The Revision Theory of Truth

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_3openalex-snapshot
The Number of Logical Values
inferred← citeshttps://doi.org/10.1007/978-3-319-19066-2_2openalex-snapshot
Implementation of Theorem Prover of Relevant Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_9openalex-snapshot
Comparing Contents with Information
inferred← citeshttps://doi.org/10.1007/978-3-319-70821-8_1openalex-snapshot
Introduction: The Proscriptive Principle
inferred← citeshttps://doi.org/10.1007/978-81-322-2719-9_17openalex-snapshot
Logic—The Big Picture
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_13openalex-snapshot
Distribution in the Logic of Meaning Containment and in Quantum Mechanics
inferred← citeshttps://doi.org/10.1007/978-94-007-6958-8_18openalex-snapshot
Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0460-1_1openalex-snapshot
Relevance Logic
inferred← citeshttps://doi.org/10.1007/s10670-025-00978-wopenalex-snapshot
Contextual Entailment and Containment: A Ternary Approach to Information and Topic Inclusion
inferred← citeshttps://doi.org/10.1007/s10849-014-9199-7openalex-snapshot
Blocking the Routes to Triviality with Depth Relevance
inferred← citeshttps://doi.org/10.1007/s10992-012-9262-2openalex-snapshot
The Simple Consistency of Naive Set Theory using Metavaluations
inferred← citeshttps://doi.org/10.1007/s11225-013-9471-xopenalex-snapshot
Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance
inferred← citeshttps://doi.org/10.1007/s11229-017-1362-7openalex-snapshot
The use of definitions and their logical representation in paradox derivation
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1017/bsl.2017.29openalex-snapshot
METAVALUATIONS
inferred← citeshttps://doi.org/10.1017/s1755020309990219openalex-snapshot
FOUR BASIC LOGICAL ISSUES
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199265176.003.0003openalex-snapshot
On the Formalization of the Law of Non-Contradiction
inferred← citeshttps://doi.org/10.1111/j.1746-8361.2007.01101.xopenalex-snapshot
Is Dialetheism an Idealism? The Russellian Fallacy and the Dialetheist's Dilemma
inferred← citeshttps://doi.org/10.1111/phc3.12965openalex-snapshot
Routes to relevance: Philosophies of relevant logics
inferred← citeshttps://doi.org/10.1215/00294527-1960461openalex-snapshot
Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle
inferred← citeshttps://doi.org/10.17265/2159-5291/2015.02.002openalex-snapshot
Atomic Entailment and Atomic Inconsistency and Classical Entailment
inferred← citeshttps://doi.org/10.2178/jsl/1140641162openalex-snapshot
Normalized natural deduction systems for some relevant logics I: The logic DW
inferred← citeshttps://doi.org/10.2307/2275666openalex-snapshot
Gentzenizations of relevant logics without distribution. I
inferred← citeshttps://doi.org/10.26181/22559581openalex-snapshot
Some concerns regarding ternary-relation semantics and truth-theoretic semantics in general
inferred← citeshttps://doi.org/10.26686/ajl.v15i2.4866openalex-snapshot
Reflections on Routley's Ultralogic Program
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6920openalex-snapshot
Arithmetic Formulated in a Logic of Meaning Containment
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6925openalex-snapshot
"A Smack of Irrelevance" in Inconsistent Mathematics?
inferred← citeshttps://doi.org/10.26686/ajl.v20i2.8311openalex-snapshot
A Variety of DeMorgan Negations in Relevant Logics
inferred← citeshttps://doi.org/10.26686/ajl.v29i2.8287openalex-snapshot
In Support of Valerie Plumwood
inferred← citeshttps://doi.org/10.26686/ajl.v6i0.1793openalex-snapshot
A Rejection System for the First-Degree Formulae of some Relevant Logics
inferred← citeshttps://doi.org/10.4216/jpssj.45.2-65openalex-snapshot
Anomalies of Classical Logic in View of Relevant Logic
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.