On the public citation graph
Classical relevant logics. I
0 signed · 80 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.1002/malq.19650110403openalex-snapshot
A Decision Procedure For the System EĪ of Entailment with Negation
inferredcites →https://doi.org/10.1007/bf02120525openalex-snapshot
Conservative extension in relevant implication
inferredcites →https://doi.org/10.2307/2271239openalex-snapshot
Intensional models for first degree formulas
inferredcites →https://doi.org/10.2307/2964568openalex-snapshot
A completeness theorem in modal logic
inferredcites →https://doi.org/10.2307/2964754openalex-snapshot
Modalities in Ackermann's “rigorous 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.19900360303openalex-snapshot
Modal logics with n‐ary connectives
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_25openalex-snapshot
A Farewell to Entailment
inferred← citeshttps://doi.org/10.1007/978-3-030-25365-3_21openalex-snapshot
Two Negations Are More than One
inferred← citeshttps://doi.org/10.1007/978-3-030-30221-4_8openalex-snapshot
Making Truth Safe for Intuitionists
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-031-69940-5_5openalex-snapshot
Variable-Sharing as Relevance
inferred← citeshttps://doi.org/10.1007/978-3-031-82994-9_7openalex-snapshot
Conditionals, Support and Connexivity
inferred← citeshttps://doi.org/10.1007/978-94-009-2829-9_13openalex-snapshot
Łukasiewicz, Meinung and Many-Valued 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-010-0526-5_3openalex-snapshot
A Representation of Relation Algebras Using Routley-Meyer Frames
inferred← citeshttps://doi.org/10.1007/bf00370629openalex-snapshot
Completeness and conservative extension results for some boolean relevant logics
inferred← citeshttps://doi.org/10.1007/bf00370636openalex-snapshot
R?-algebras and R?-model structures as power constructs
inferred← citeshttps://doi.org/10.1007/s10849-021-09330-1openalex-snapshot
Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
inferred← citeshttps://doi.org/10.1007/s10992-005-9008-5openalex-snapshot
Relevant Restricted Quantification
inferred← citeshttps://doi.org/10.1007/s10992-015-9346-xopenalex-snapshot
Current Trends in Substructural Logics
inferred← citeshttps://doi.org/10.1007/s10992-020-09583-4openalex-snapshot
Basic Quasi-Boolean Expansions of Relevance Logics
inferred← citeshttps://doi.org/10.1007/s10992-022-09655-7openalex-snapshot
What is a Relevant Connective?
inferred← citeshttps://doi.org/10.1007/s10992-022-09668-2openalex-snapshot
Neighbourhood Semantics for Modal Relevant Logics
inferred← citeshttps://doi.org/10.1007/s11225-013-9469-4openalex-snapshot
Extensions of Priest-da Costa Logic
inferred← citeshttps://doi.org/10.1007/s11225-014-9595-7openalex-snapshot
Classical Negation and Expansions of Belnap–Dunn Logic
inferred← citeshttps://doi.org/10.1007/s11787-018-0218-3openalex-snapshot
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework
inferred← citeshttps://doi.org/10.1007/s44204-023-00082-2openalex-snapshot
Stratified restricted universals
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100604openalex-snapshot
Relation algebras of Sugihara, Belnap, Meyer, and Church
inferred← citeshttps://doi.org/10.1016/s0049-237x(09)70492-6openalex-snapshot
Problems and Solutions in the Semantics of Quantified Relevant Logics. I.
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/s1755020309990293openalex-snapshot
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
inferred← citeshttps://doi.org/10.1023/a:1004731401855openalex-snapshot
CE is Not a Conservative Extension of E
inferred← citeshttps://doi.org/10.1080/00048400701728574openalex-snapshot
Implicational Paradoxes and the Meaning of Logical Constants
inferred← citeshttps://doi.org/10.1080/00048408212340551openalex-snapshot
Multisets and relevant implication I
inferred← citeshttps://doi.org/10.1080/00048408212340681openalex-snapshot
Multisets and relevant implication II
inferred← citeshttps://doi.org/10.1080/11663081.2020.1826155openalex-snapshot
A basic quasi-Boolean logic of intuitionistic character
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.1109/ismvl52857.2022.00027openalex-snapshot
Liberating classical negation from falsity conditions
inferred← citeshttps://doi.org/10.12775/llp.2006.011openalex-snapshot
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation
inferred← citeshttps://doi.org/10.1305/ndjfl/1093636940openalex-snapshot
Survey of generalizations of Urquhart semantics.
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.2168/lmcs-6(3:3)2010openalex-snapshot
Classical BI: Its Semantics and Proof Theory
inferred← citeshttps://doi.org/10.2307/2274237openalex-snapshot
3088 varieties: A solution to the Ackermann constant problem
inferred← citeshttps://doi.org/10.2307/2275668openalex-snapshot
Gentzenizations of relevant logics with distribution
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6920openalex-snapshot
Arithmetic Formulated in a Logic of Meaning Containment
inferred← citeshttps://doi.org/10.3166/jancl.18.49-65openalex-snapshot
Relevance logics and intuitionistic negation
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.