On the public citation graph
A sieve for entailments
0 signed · 24 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/bf00373152openalex-snapshot
Intuitive semantics for first-degree entailments and ?coupled trees?
inferredcites →https://doi.org/10.1093/aristotelian/59.1.233openalex-snapshot
XII.—Entailment and Deducibility
inferredcites →https://doi.org/10.1093/aristoteliansupp/32.1.123openalex-snapshot
Symposium: Entailment
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-58467-6_26openalex-snapshot
A note on tableaux of logic of paradox
inferred← citeshttps://doi.org/10.1007/3-540-61291-2_60openalex-snapshot
Paraconsistent circumscription
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_9openalex-snapshot
Default Rules in the Logic of First-Degree Entailments
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_5openalex-snapshot
Variable-Sharing as Relevance
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferred← citeshttps://doi.org/10.1007/bf00247002openalex-snapshot
Relevant implication and the case for a weaker logic
inferred← citeshttps://doi.org/10.1007/bf00248638openalex-snapshot
K�rner's criterion of relevance and analytic tableaux
inferred← citeshttps://doi.org/10.1007/bf00258074openalex-snapshot
The equivalence of tautological and ?strict? entailment: Proof of an amended conjecture of Lewy's
inferred← citeshttps://doi.org/10.1007/s10992-019-09516-wopenalex-snapshot
Explicating Logical Independence
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70200-9openalex-snapshot
Anderson and Belnap, and Lewy on Entailment
inferred← citeshttps://doi.org/10.1017/bsl.2021.65openalex-snapshot
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
inferred← citeshttps://doi.org/10.1017/s1755020309090145openalex-snapshot
RELEVANCE LOGICS AND RELATION ALGEBRAS
inferred← citeshttps://doi.org/10.1109/ismvl49045.2020.000-1openalex-snapshot
Infectious semantics and analytic calculi for even more inclusion logics
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.