On the public citation graph

Whither relevant arithmetic?

https://doi.org/10.2307/2275433
0 signed · 101 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.1002/malq.19860320106openalex-snapshot
Conservative Extension in Relevant Arithmetic
inferredcites →https://doi.org/10.1007/978-3-7091-9459-1_3openalex-snapshot
A Decision Method for Elementary Algebra and Geometry
inferredcites →https://doi.org/10.1007/bfb0012833openalex-snapshot
Towards efficient "knowledge-based" automated theorem proving for non-standard logics
inferredcites →https://doi.org/10.1525/9780520348097openalex-snapshot
A Decision Method for Elementary Algebra and Geometry
inferredcites →https://doi.org/10.25911/5d6fa29251193openalex-snapshot
Automated theorem-proving in non-classical logics

What points at this work

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

inferred← citeshttps://doi.org/10.1002/9781405164801.ch13openalex-snapshot
Relevant Logics
inferred← citeshttps://doi.org/10.1002/malq.201600078openalex-snapshot
On elimination of quantifiers in some non‐classical mathematical theories
inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_17openalex-snapshot
The Difficulties in Using Weak Relevant Logics for Naive Set Theory
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_16openalex-snapshot
Frege Meets Belnap: Basic Law V in a Relevant Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_18openalex-snapshot
Relevant Rational Arithmetic
inferred← citeshttps://doi.org/10.1007/978-3-031-74527-0_8openalex-snapshot
Substructural Solutions to the Semantic Paradoxes: A Dialetheic Perspective
inferred← citeshttps://doi.org/10.1007/978-3-319-23291-1_8openalex-snapshot
Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals
inferred← citeshttps://doi.org/10.1007/978-3-319-98346-2_9openalex-snapshot
Core Logic: A Conspectus
inferred← citeshttps://doi.org/10.1007/978-3-476-00141-2_2openalex-snapshot
P
inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_9openalex-snapshot
Relevant Logic and Paraconsistency
inferred← citeshttps://doi.org/10.1007/978-3-662-21963-8_18openalex-snapshot
Kurt Gödel and the Consistency of R##
inferred← citeshttps://doi.org/10.1007/978-3-662-67770-4_2openalex-snapshot
P
inferred← citeshttps://doi.org/10.1007/978-90-481-8990-8_4openalex-snapshot
Computer Assistance for, or Insights into, Organisational Aspects
inferred← citeshttps://doi.org/10.1007/978-94-007-4438-7_1openalex-snapshot
Paraconsistency: Introduction
inferred← citeshttps://doi.org/10.1007/978-94-007-7759-0_2openalex-snapshot
David Makinson and the Extension of Classical Logic
inferred← citeshttps://doi.org/10.1007/978-94-017-0460-1_1openalex-snapshot
Relevance Logic
inferred← citeshttps://doi.org/10.1007/bfb0035648openalex-snapshot
Logic for two: The semantics of distributive substructural logics
inferred← citeshttps://doi.org/10.1007/s10670-024-00803-wopenalex-snapshot
Critical Math Kinds: A Framework for the Philosophy of Alternative Mathematics
inferred← citeshttps://doi.org/10.1007/s10849-026-09455-1openalex-snapshot
Variable Sharing and Mathematical Practice
inferred← citeshttps://doi.org/10.1007/s11229-019-02507-zopenalex-snapshot
Non-Boolean classical relevant logics I
inferred← citeshttps://doi.org/10.1007/s11229-025-05299-7openalex-snapshot
Towards a feminist arithmetic
inferred← citeshttps://doi.org/10.1007/s11787-014-0107-3openalex-snapshot
The Scope of Gödel’s First Incompleteness Theorem
inferred← citeshttps://doi.org/10.1016/b978-0-444-51555-1.50018-3openalex-snapshot
INCONSISTENT MATHEMATICS: SOME PHILOSOPHICAL IMPLICATIONS
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/9781108993968openalex-snapshot
Paraconsistency in Mathematics
inferred← citeshttps://doi.org/10.1017/9781316716939.020openalex-snapshot
Best possible answer is computable for fuzzy SLD-resolution
inferred← citeshttps://doi.org/10.1017/s1755020314000355openalex-snapshot
AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
inferred← citeshttps://doi.org/10.1017/s1755020319000467openalex-snapshot
SUBSTITUTION IN RELEVANT LOGICS
inferred← citeshttps://doi.org/10.1023/a:1017990121294openalex-snapshot
⊃E is Admissible in “true” relevant arithmetic
inferred← citeshttps://doi.org/10.1080/01445340.2021.1883319openalex-snapshot
Reflections on Orlov
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.001.0001openalex-snapshot
In Contradiction
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0004openalex-snapshot
Epigraph
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0007openalex-snapshot
Preface of First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.002.0008openalex-snapshot
Preface of Second Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0001openalex-snapshot
Dialetheism
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0002openalex-snapshot
Semantic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0003openalex-snapshot
Set Theoretic Paradoxes
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0004openalex-snapshot
Gödel's Theorem
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0005openalex-snapshot
Truth and Falsity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0006openalex-snapshot
Dialetheic Semantics for Extensional Connectives
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0007openalex-snapshot
Entailment
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0008openalex-snapshot
Pragmatics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0009openalex-snapshot
The Disjunctive Syllogism and Quasi-Validity
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0010openalex-snapshot
Semantic Closure and the Philosophy of Language
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0011openalex-snapshot
Set Theory and The Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0012openalex-snapshot
The Metaphysics of Change I: The Instant of Change
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0013openalex-snapshot
The Metaphysics of Change II: Motion
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0014openalex-snapshot
Norms and the Philosophy of Law
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0015openalex-snapshot
The Transconsistent
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0016openalex-snapshot
The Metaphysics of Change III: Time
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0017openalex-snapshot
Minimally InconsistentLP
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0018openalex-snapshot
Inconsistent Arithmetic
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0019openalex-snapshot
Paraconsistent Set Theory
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0020openalex-snapshot
Autocommentary on the First Edition
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780199263301.003.0021openalex-snapshot
Comments on Some Critics
inferred← citeshttps://doi.org/10.1093/jigpal/jzag027openalex-snapshot
Two decades of non-classical mathematics: introduction to the special issue
inferred← citeshttps://doi.org/10.1093/jigpal/jzag029openalex-snapshot
Relevant number theory with cancellation
inferred← citeshttps://doi.org/10.1093/jigpal/jzag032openalex-snapshot
A note on the strength of paraconsistent arithmetic
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0023openalex-snapshot
Relevance in Reasoning
inferred← citeshttps://doi.org/10.1093/philmat/nkae001openalex-snapshot
The Logic for Mathematics without Ex Falso Quodlibet
inferred← citeshttps://doi.org/10.1111/j.1747-9991.2012.00496.xopenalex-snapshot
Relevant Logic and the Philosophy of Mathematics
inferred← citeshttps://doi.org/10.1305/ndjfl/1039700746openalex-snapshot
Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion
inferred← citeshttps://doi.org/10.26021/2864openalex-snapshot
Normalized naive set theory.
inferred← citeshttps://doi.org/10.26686/ajl.v14i1.4034openalex-snapshot
Paraconsistent Measurement of the Circle
inferred← citeshttps://doi.org/10.26686/ajl.v18i2.6770openalex-snapshot
From Hilbert proofs to consecutions and back
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6901openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6919openalex-snapshot
Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#
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.6921openalex-snapshot
Consistency and Decidability in Some Paraconsistent Arithmetics
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6926openalex-snapshot
Relevant Arithmetic and Mathematical Pluralism
inferred← citeshttps://doi.org/10.26686/ajl.v19i1.6585openalex-snapshot
Models of Relevant Arithmetic
inferred← citeshttps://doi.org/10.29092/uacm.v20i53.1039openalex-snapshot
Bibliografía sobre: Lógicas no clásicas. Fundamentación, aplicaciones y permanencia
inferred← citeshttps://doi.org/10.4230/lipics.csl.2016.40openalex-snapshot
Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic
inferred← citeshttps://doi.org/10.4324/9780203016244openalex-snapshot
An Introduction to Substructural 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.