On the public citation graph

Relevant predication 1: The formal theory

0 signed · 85 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-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferredcites →https://doi.org/10.1007/bf00262047openalex-snapshot
Completeness of the normal typed fragment of the λ-system U
inferredcites →https://doi.org/10.1007/bf00370478openalex-snapshot
Relevant Robinson's arithmetic
inferredcites →https://doi.org/10.1007/bf02282493openalex-snapshot
Quantification and RM
inferredcites →https://doi.org/10.1086/psaprocbienmeetp.1974.495795openalex-snapshot
Memorial Minutes
inferredcites →https://doi.org/10.1305/ndjfl/1093891202openalex-snapshot
Completeness of relevant quantification theories.
inferredcites →https://doi.org/10.18778/0138-0680openalex-snapshot
Bulletin of the Section of Logic
inferredcites →https://doi.org/10.2307/2214309openalex-snapshot
The Semantics of First Degree Entailment

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9780470996751.ch39openalex-snapshot
Relevance Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_16openalex-snapshot
From Iff to Is: Some New Thoughts on Identity in Relevant Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_4openalex-snapshot
Withered Relevance
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_7openalex-snapshot
Quantified Modal Relevant Logics II: Welcome to the Neighbourhood
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_7openalex-snapshot
Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-0553-5_4openalex-snapshot
The Frame Problem and Relevant Predication
inferred← citeshttps://doi.org/10.1007/978-94-009-0681-5_6openalex-snapshot
Relevant Predication 3: Essential Properties
inferred← citeshttps://doi.org/10.1007/978-94-017-0460-1_1openalex-snapshot
Relevance Logic
inferred← citeshttps://doi.org/10.1007/bf00247002openalex-snapshot
Relevant implication and the case for a weaker logic
inferred← citeshttps://doi.org/10.1007/bf00262941openalex-snapshot
Relevant predication: Grammatical characterisations
inferred← citeshttps://doi.org/10.1007/bf00367469openalex-snapshot
Relevant predication 2: Intrinsic properties and internal relations
inferred← citeshttps://doi.org/10.1007/bf00370329openalex-snapshot
Semantics for relevance logic with identity
inferred← citeshttps://doi.org/10.1007/bf00372433openalex-snapshot
Intrinsic properties
inferred← citeshttps://doi.org/10.1007/bf00413498openalex-snapshot
Intrinsic/extrinsic
inferred← citeshttps://doi.org/10.1007/s10670-023-00748-6openalex-snapshot
Topic Transparency and Variable Sharing in Weak Relevant Logics
inferred← citeshttps://doi.org/10.1007/s10670-025-01012-9openalex-snapshot
Relevance via Topicality in First Order Logics
inferred← citeshttps://doi.org/10.1007/s10849-022-09380-zopenalex-snapshot
A Substructural Approach to Explicit Modal Logic
inferred← citeshttps://doi.org/10.1007/s10849-026-09455-1openalex-snapshot
Variable Sharing and Mathematical Practice
inferred← citeshttps://doi.org/10.1007/s10992-013-9268-4openalex-snapshot
Logical Consequence and the Paradoxes
inferred← citeshttps://doi.org/10.1007/s10992-021-09603-xopenalex-snapshot
Identity in Mares-Goldblatt Models for Quantified Relevant Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09655-7openalex-snapshot
What is a Relevant Connective?
inferred← citeshttps://doi.org/10.1007/s11225-009-9182-5openalex-snapshot
The Slingshot Argument and Sentential Identity
inferred← citeshttps://doi.org/10.1007/s11225-010-9225-yopenalex-snapshot
Extensionality and Restriction in Naive Set Theory
inferred← citeshttps://doi.org/10.1007/s11229-014-0631-yopenalex-snapshot
Aristotle’s assertoric syllogistic and modern relevance logic
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1017/9781009227773openalex-snapshot
Relevance Logic
inferred← citeshttps://doi.org/10.1017/9781108993135openalex-snapshot
Paradoxes and Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/9781108993135.001openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1017/9781108993135.002openalex-snapshot
What Are the Paradoxes?
inferred← citeshttps://doi.org/10.1017/9781108993135.003openalex-snapshot
Introduction to an Inconsistent World3
inferred← citeshttps://doi.org/10.1017/9781108993135.004openalex-snapshot
Paradoxes; or, “Here in the Presence of an Absurdity”
inferred← citeshttps://doi.org/10.1017/9781108993135.005openalex-snapshot
How to Face the Paradoxes?
inferred← citeshttps://doi.org/10.1017/9781108993135.006openalex-snapshot
In Search of a Uniform Solution
inferred← citeshttps://doi.org/10.1017/9781108993135.007openalex-snapshot
Metatheory and Naive Theory
inferred← citeshttps://doi.org/10.1017/9781108993135.008openalex-snapshot
Prolegomena to Any Future Inconsistent Mathematics
inferred← citeshttps://doi.org/10.1017/9781108993135.009openalex-snapshot
Where Are the Paradoxes?
inferred← citeshttps://doi.org/10.1017/9781108993135.010openalex-snapshot
Set Theory
inferred← citeshttps://doi.org/10.1017/9781108993135.011openalex-snapshot
Arithmetic
inferred← citeshttps://doi.org/10.1017/9781108993135.012openalex-snapshot
Algebra
inferred← citeshttps://doi.org/10.1017/9781108993135.013openalex-snapshot
Real Analysis
inferred← citeshttps://doi.org/10.1017/9781108993135.014openalex-snapshot
Topology
inferred← citeshttps://doi.org/10.1017/9781108993135.015openalex-snapshot
Why Are There Paradoxes?
inferred← citeshttps://doi.org/10.1017/9781108993135.016openalex-snapshot
Ordinary Paradox
inferred← citeshttps://doi.org/10.1017/9781108993135.017openalex-snapshot
Bibliography
inferred← citeshttps://doi.org/10.1017/9781108993135.018openalex-snapshot
Index
inferred← citeshttps://doi.org/10.1017/9781108993135.019openalex-snapshot
Backmatter
inferred← citeshttps://doi.org/10.1017/bsl.2021.65openalex-snapshot
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
inferred← citeshttps://doi.org/10.1017/s1755020310000304openalex-snapshot
REPLY TO BJØRDAL
inferred← citeshttps://doi.org/10.1023/a:1004323917968openalex-snapshot
Relevant identity
inferred← citeshttps://doi.org/10.1023/a:1005306200547openalex-snapshot
Dunn's Relevant Predication, Real Properties and Identity
inferred← citeshttps://doi.org/10.1023/a:1017990121294openalex-snapshot
⊃E is Admissible in “true” relevant arithmetic
inferred← citeshttps://doi.org/10.1046/j.1468-0068.2003.00456.xopenalex-snapshot
Note on Contraries and Subcontraries
inferred← citeshttps://doi.org/10.1080/00048409812348501openalex-snapshot
On Gödel's ontological proof
inferred← citeshttps://doi.org/10.1080/24740500.2021.1886688openalex-snapshot
Property Identity and Relevant Conditionals
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.001.0001openalex-snapshot
Logical Pluralism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0001openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0002openalex-snapshot
Logical Consequence
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0003openalex-snapshot
Pluralism Defined
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0004openalex-snapshot
Classical Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0005openalex-snapshot
Relevant Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0006openalex-snapshot
Constructive Logic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0007openalex-snapshot
Variations & Loose Ends
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0008openalex-snapshot
General Objections
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0009openalex-snapshot
Specific Objections
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199288403.003.0010openalex-snapshot
Other Directions
inferred← citeshttps://doi.org/10.1093/logcom/exac057openalex-snapshot
Weak relevant justification logics
inferred← citeshttps://doi.org/10.1111/0029-4624.00195openalex-snapshot
How to Define Intrinsic Properties
inferred← citeshttps://doi.org/10.1111/j.1746-8361.2000.tb00192.xopenalex-snapshot
What Fa says about a
inferred← citeshttps://doi.org/10.1111/rati.12133openalex-snapshot
Intrinsic Value and the Last Last Man
inferred← citeshttps://doi.org/10.1163/9789004457232_004openalex-snapshot
Relevance, Relatedness and Restricted Set Theory
inferred← citeshttps://doi.org/10.26686/ajl.v14i1.4031openalex-snapshot
Skolem Functions in Non-Classical Logics
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6923openalex-snapshot
On Not Saying What We Shouldn't Have to Say
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6925openalex-snapshot
"A Smack of Irrelevance" in Inconsistent Mathematics?
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6926openalex-snapshot
Relevant Arithmetic and Mathematical Pluralism
inferred← citeshttps://doi.org/10.3917/rmm.024.0501openalex-snapshot
Pour introduire à l'intrinsèque
inferred← citeshttps://doi.org/10.7275/11768openalex-snapshot
Naturalness, intrinsicality, and duplication.
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.