On the public citation graph

Perfect validity, entailment and paraconsistency

https://doi.org/10.1007/bf00935749
0 signed · 75 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/bf00247748openalex-snapshot
A proof-theoretic approach to entailment
inferredcites →https://doi.org/10.1007/bf01471125openalex-snapshot
First degree entailments
inferredcites →https://doi.org/10.1017/s0025557200021884openalex-snapshot
Compositio Mathematica
inferredcites →https://doi.org/10.1093/analys/39.3.124openalex-snapshot
Curry's Paradox
inferredcites →https://doi.org/10.1093/analys/40.2.74openalex-snapshot
Syntactical Treatment of Negation
inferredcites →https://doi.org/10.1093/aristotelian/59.1.233openalex-snapshot
XII.—Entailment and Deducibility
inferredcites →https://doi.org/10.1111/j.1746-8361.1982.tb00820.xopenalex-snapshot
Proof and Paradox

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-031-29415-0_13openalex-snapshot
Truthmakers and Relevance for FDE, LP, K3, and CL
inferred← citeshttps://doi.org/10.1007/978-3-031-69940-5_2openalex-snapshot
A Hierarchy of Relevance Properties
inferred← citeshttps://doi.org/10.1007/978-3-642-14755-5_7openalex-snapshot
Revising Geographical Knowledge: A Model for Local Belief Change
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_11openalex-snapshot
Negation As Falsity: A Reply to Tennant
inferred← citeshttps://doi.org/10.1007/978-94-017-0460-1_4openalex-snapshot
Paraconsistent Logic
inferred← citeshttps://doi.org/10.1007/bf00763511openalex-snapshot
Intuitionistic mathematics does not needex falso quodlibet
inferred← citeshttps://doi.org/10.1007/bf01880329openalex-snapshot
Relevant logic programming
inferred← citeshttps://doi.org/10.1007/s10670-015-9792-4openalex-snapshot
Restall’s Proof-Theoretic Pluralism and Relevance Logic
inferred← citeshttps://doi.org/10.1007/s10992-022-09693-1openalex-snapshot
Editorial Introduction: Substructural Logics and Metainferences
inferred← citeshttps://doi.org/10.1007/s11098-024-02101-1openalex-snapshot
Relevant entailment and logical ground
inferred← citeshttps://doi.org/10.1007/s11098-024-02213-8openalex-snapshot
Introduction: difference-making and explanatory relevance
inferred← citeshttps://doi.org/10.1007/s11225-014-9599-3openalex-snapshot
A New Approach to Classical Relevance
inferred← citeshttps://doi.org/10.1007/s11225-017-9736-xopenalex-snapshot
On Argumentation Logic and Propositional Logic
inferred← citeshttps://doi.org/10.1007/s11225-019-09847-4openalex-snapshot
Normality, Non-contamination and Logical Depth in Classical Natural Deduction
inferred← citeshttps://doi.org/10.1007/s11229-003-6227-6openalex-snapshot
Truth, Warrant and Superassertibility
inferred← citeshttps://doi.org/10.1016/j.jal.2006.03.011openalex-snapshot
An adaptive logic for relevant classical deduction
inferred← citeshttps://doi.org/10.1016/s1874-5857(07)80006-9openalex-snapshot
Paraconsistency and Dialetheism
inferred← citeshttps://doi.org/10.1017/s0022481200029674openalex-snapshot
Natural deduction and sequent calculus for intuitionistic relevant logic
inferred← citeshttps://doi.org/10.1017/s1755020318000382openalex-snapshot
RELEVANCE FOR THE CLASSICAL LOGICIAN
inferred← citeshttps://doi.org/10.1023/a:1005393029106openalex-snapshot
A SIMPLE IRREDUNDANCE TEST FOR TAUTOLOGICAL SEQUENTS
inferred← citeshttps://doi.org/10.1023/a:1014654208944openalex-snapshot
Local Change
inferred← citeshttps://doi.org/10.1023/a:1024203107491openalex-snapshot
Frege's Content-Principle and Relevant Deducibility
inferred← citeshttps://doi.org/10.1080/00048409612347161openalex-snapshot
On Tennant's intuitionist relevant logics
inferred← citeshttps://doi.org/10.1080/01445340.2013.867144openalex-snapshot
Aristotle's Syllogistic and Core Logic
inferred← citeshttps://doi.org/10.1080/11663081.1998.10510950openalex-snapshot
Paraconsistent Logical Consequence
inferred← citeshttps://doi.org/10.1080/20445911.2017.1305388openalex-snapshot
A psychological study of unconnected conditionals
inferred← citeshttps://doi.org/10.1093/analys/54.3.140openalex-snapshot
Intuitionistic Relevant Logic and Perfect Validity
inferred← citeshttps://doi.org/10.1093/analys/54.3.143openalex-snapshot
On maintaining concentration
inferred← citeshttps://doi.org/10.1093/bjps/45.3.865openalex-snapshot
Changing the Theory of Theory Change: Towards a Computational Approach
inferred← citeshttps://doi.org/10.1093/jigpal/10.3.299openalex-snapshot
Ultimate Normal Forms for Parallelized Natural Deductions
inferred← citeshttps://doi.org/10.1093/logcom/exad077openalex-snapshot
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
inferred← citeshttps://doi.org/10.1093/logcom/exae033openalex-snapshot
Perfect proofs at first order
inferred← citeshttps://doi.org/10.1093/oso/9780192847973.003.0011openalex-snapshot
Bolzano, (the Appropriate) Relevant Logic, and Grounding Rules for Implication
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.001.0001openalex-snapshot
Topics of Thought
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.002.0005openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0001openalex-snapshot
What Thoughts Are About
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0002openalex-snapshot
Two-Component Semantics
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0003openalex-snapshot
Topic-Sensitive Intentional Modals
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0004openalex-snapshot
Epistemic Closure, Dogmatism, Scepticism, Fallibilism
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0005openalex-snapshot
Imagination and Suppositional Thought
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0006openalex-snapshot
Hyperintensional Belief Revision
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0007openalex-snapshot
Framing Effects
inferred← citeshttps://doi.org/10.1093/oso/9780192857491.003.0008openalex-snapshot
Probabilities, Indicatives, and Relevance
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.001.0001openalex-snapshot
Impossible Worlds
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.002.0003openalex-snapshot
Copyright Page
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.002.0004openalex-snapshot
Dedication
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0001openalex-snapshot
From Possible to Impossible Worlds
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0002openalex-snapshot
Metaphysics
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0003openalex-snapshot
Ersatz Modal Realism
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0004openalex-snapshot
Modal Logics
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0005openalex-snapshot
Epistemic Logics
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0006openalex-snapshot
Relevant Logics
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0007openalex-snapshot
The Logic of Imagination
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0008openalex-snapshot
Hyperintensionality
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0009openalex-snapshot
Information and Content
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0010openalex-snapshot
Epistemic and Doxastic Contents
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0011openalex-snapshot
Fiction and Fictional Objects
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0012openalex-snapshot
Counterpossible Conditionals
inferred← citeshttps://doi.org/10.1093/oso/9780198812791.003.0015openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780195325928.003.0023openalex-snapshot
Relevance in Reasoning
inferred← citeshttps://doi.org/10.1305/ndjfl/1093635160openalex-snapshot
Truth table logic, with a survey of embeddability results.
inferred← citeshttps://doi.org/10.13130/bianchetti-matteo_phd2011-05-11openalex-snapshot
LE MOLTE VERSIONI DELLA CONSEGUENZA LOGICA
inferred← citeshttps://doi.org/10.14220/9783737003667.147openalex-snapshot
Literatur
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.22329/il.v31i3.3400openalex-snapshot
Inference Claims
inferred← citeshttps://doi.org/10.26686/ajl.v16i2.5273openalex-snapshot
non-transitive relevant implication corresponding to classical logic consequence
inferred← citeshttps://doi.org/10.7476/9788526815001openalex-snapshot
Para além das Colunas de Hércules, uma história da paraconsistência: de Heráclito a Newton da Costa
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.