On the public citation graph
New axiomatics for relevant logics, I
0 signed · 59 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/bf00129607openalex-snapshot
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1111/j.1755-2567.1971.tb00072.xopenalex-snapshot
Completeness of weak implication
inferredcites →https://doi.org/10.1305/ndjfl/1093890896openalex-snapshot
On conserving positive logics.
inferredcites →https://doi.org/10.2307/2270141openalex-snapshot
T. J. Smiley. Entailment and deducibility. Proceedings of the Aristotelian Society, n.s. vol. 59 (1959), pp. 233–254.
inferredcites →https://doi.org/10.2307/2272545openalex-snapshot
Computational speed-up by effective operators
inferredcites →https://doi.org/10.2307/2964179openalex-snapshot
New foundations for Lewis modal systems
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-319-06025-5_34openalex-snapshot
Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_17openalex-snapshot
Relevance Logic as a Conservative Extension of Classical Logic
inferred← citeshttps://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferred← citeshttps://doi.org/10.1007/978-94-009-8356-4_13openalex-snapshot
Entailment and the disjunctive syllogism
inferred← citeshttps://doi.org/10.1007/978-94-015-6893-7_10openalex-snapshot
Objectivity in Logic: A Phenomenological Approach
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_3openalex-snapshot
Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley Star)
inferred← citeshttps://doi.org/10.1007/bf00142493openalex-snapshot
Pure semantics and applied semantics
inferred← citeshttps://doi.org/10.1007/bf00370439openalex-snapshot
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
inferred← citeshttps://doi.org/10.1007/bf00370629openalex-snapshot
Completeness and conservative extension results for some boolean relevant logics
inferred← citeshttps://doi.org/10.1007/bf01880331openalex-snapshot
Implementing the ‘Fool's model’ of combinatory logic
inferred← citeshttps://doi.org/10.1007/bf02379118openalex-snapshot
Studies in paraconsistent logic I: The dialectical principle of the unity of opposites
inferred← citeshttps://doi.org/10.1007/bf02379225openalex-snapshot
E is a conservative extension of EĪ
inferred← citeshttps://doi.org/10.1007/s10992-012-9247-1openalex-snapshot
R and Relevance Principle Revisited
inferred← citeshttps://doi.org/10.1007/s10992-019-09502-2openalex-snapshot
Algebraic Analysis of Demodalised Analytic Implication
inferred← citeshttps://doi.org/10.1007/s11229-018-02048-xopenalex-snapshot
The original sin of proof-theoretic semantics
inferred← citeshttps://doi.org/10.1007/s11229-019-02507-zopenalex-snapshot
Non-Boolean classical relevant logics I
inferred← citeshttps://doi.org/10.1007/s11229-021-03065-zopenalex-snapshot
Non-Boolean classical relevant logics II: Classicality through truth-constants
inferred← citeshttps://doi.org/10.1017/s1755020323000205openalex-snapshot
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
inferred← citeshttps://doi.org/10.1080/00048400701728574openalex-snapshot
Implicational Paradoxes and the Meaning of Logical Constants
inferred← citeshttps://doi.org/10.1093/0199263280.003.0002openalex-snapshot
Aristotle on the Law of Non-Contradiction
inferred← citeshttps://doi.org/10.1093/0199263280.003.0010openalex-snapshot
Consistency and the Empirical Sciences
inferred← citeshttps://doi.org/10.1093/jigpal/jzag037openalex-snapshot
Extending computational trinitarianism
inferred← citeshttps://doi.org/10.1093/logcom/11.2.229openalex-snapshot
Nonmonotonic Logics and Semantics
inferred← citeshttps://doi.org/10.12775/llp.2023.020openalex-snapshot
Some Remarks on the Logic of Probabilistic Relevance
inferred← citeshttps://doi.org/10.1305/ndjfl/1093883249openalex-snapshot
First-degree entailments and information.
inferred← citeshttps://doi.org/10.2307/421051openalex-snapshot
Australasian Association for Logic 30th Anniversary Conference
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6905openalex-snapshot
Arithmetic Formulated Relevantly
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.