On the public citation graph
Failure of interpolation in relevant logics
0 signed · 45 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.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1016/s1385-7258(56)50008-xopenalex-snapshot
A Result on Consistency and its Application to theTheory of Definition
inferredcites →https://doi.org/10.1090/s0002-9904-1950-09392-6openalex-snapshot
Book Review: Lattice theory
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0108459-5openalex-snapshot
Representation of Modular Lattices and Of Relation Algebras
inferredcites →https://doi.org/10.1307/mmj/1028998510openalex-snapshot
Relation algebras and projective geometries.
inferredcites →https://doi.org/10.2140/pjm.1969.28.309openalex-snapshot
Classes without the amalgamation property
inferredcites →https://doi.org/10.2140/pjm.1973.45.507openalex-snapshot
The amalgamation property in equational classes of modular lattices
inferredcites →https://doi.org/10.2307/2274261openalex-snapshot
The undecidability of entailment and relevant implication
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.201200004openalex-snapshot
Craig interpolation for semilinear substructural logics
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_11openalex-snapshot
Modal Logics of Some Hereditarily Irresolvable Spaces
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_3openalex-snapshot
Tarskian Classical Relevant Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_6openalex-snapshot
Geometric Models for Relevant Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-22119-4_9openalex-snapshot
Craig Interpolation in Displayable Logics
inferred← citeshttps://doi.org/10.1007/978-94-007-0485-5_2openalex-snapshot
Interpolation and Definability
inferred← citeshttps://doi.org/10.1007/bf00247002openalex-snapshot
Relevant implication and the case for a weaker logic
inferred← citeshttps://doi.org/10.1007/bf00260931openalex-snapshot
Modal translations in substructural logics
inferred← citeshttps://doi.org/10.1007/bf00370149openalex-snapshot
Duality for algebras of relevant logics
inferred← citeshttps://doi.org/10.1007/s11225-025-10206-9openalex-snapshot
Amalgamation in Semilinear Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s11787-014-0101-9openalex-snapshot
Craig Interpolation in the Presence of Unreliable Connectives
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103509openalex-snapshot
Universal proof theory: Semi-analytic rules and Craig interpolation
inferred← citeshttps://doi.org/10.1016/j.jal.2013.06.001openalex-snapshot
Preservation of Craig interpolation by the product of matrix logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1017/s1755020309090145openalex-snapshot
RELEVANCE LOGICS AND RELATION ALGEBRAS
inferred← citeshttps://doi.org/10.1017/s1755020315000313openalex-snapshot
THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC
inferred← citeshttps://doi.org/10.1017/s1755020325100713openalex-snapshot
FAILURE OF BETH’S THEOREM IN RELEVANCE LOGICS
inferred← citeshttps://doi.org/10.1093/jigpal/jzv054openalex-snapshot
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
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/bsl/1186666152openalex-snapshot
2006–07 Winter Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2178/jsl/1230396916openalex-snapshot
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
inferred← citeshttps://doi.org/10.2307/2275666openalex-snapshot
Gentzenizations of relevant logics without distribution. I
inferred← citeshttps://doi.org/10.2307/2275667openalex-snapshot
Gentzenizations of relevant logics without distribution. II
inferred← citeshttps://doi.org/10.26650/arcp.1679227openalex-snapshot
A Brief Analysis of Interpolation in Universal Algebraic Logic
inferred← citeshttps://doi.org/10.26686/ajl.v16i8.5732openalex-snapshot
Relevant Implication and Ordered Geometry
inferred← citeshttps://doi.org/10.2989/16073606.2011.622856openalex-snapshot
A perspective on the algebra of logic
inferred← citeshttps://doi.org/10.48550/arxiv.1406.1836openalex-snapshot
Contradiction, Quantum Mechanics, and the Square of Opposition
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.