On the public citation graph
Classical relevant logics II
0 signed · 111 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/bf01419432openalex-snapshot
A semantical analysis of implicational systemI and of the first degree of entailment
inferredcites →https://doi.org/10.1007/bf02052953openalex-snapshot
Homomorphisms of intensionally complemented distributive lattices
inferredcites →https://doi.org/10.1007/bf02120525openalex-snapshot
Conservative extension in relevant implication
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1090/s0002-9947-1958-0095135-xopenalex-snapshot
Lattices With Involution
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-319-06080-4_14openalex-snapshot
Inter-Model Connectives and Substructural Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-30597-2_9openalex-snapshot
Relevant Logic and Paraconsistency
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/978-94-015-8094-6_8openalex-snapshot
Lukasiewicz, Meinong, and Many-Valued 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/bf00370636openalex-snapshot
R?-algebras and R?-model structures as power constructs
inferred← citeshttps://doi.org/10.1007/bf00652071openalex-snapshot
New axiomatics for relevant logics, I
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/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-011-9191-5openalex-snapshot
On the Ternary Relation and Conditionality
inferred← citeshttps://doi.org/10.1007/s10992-012-9247-1openalex-snapshot
R and Relevance Principle Revisited
inferred← citeshttps://doi.org/10.1007/s10992-015-9346-xopenalex-snapshot
Current Trends in Substructural Logics
inferred← citeshttps://doi.org/10.1007/s10992-019-09516-wopenalex-snapshot
Explicating Logical Independence
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/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/s11225-014-9599-3openalex-snapshot
A New Approach to Classical Relevance
inferred← citeshttps://doi.org/10.1007/s11229-020-02638-8openalex-snapshot
Obtaining infinitely many degrees of inconsistency by adding a strictly paraconsistent negation to classical logic
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.1007/s11229-022-03732-9openalex-snapshot
Relevant propositional dynamic 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.1016/j.apal.2003.11.015openalex-snapshot
Ternary relations and relevant semantics
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/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.1017/s1755020322000272openalex-snapshot
COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
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.1093/jigpal/jzaa019openalex-snapshot
Boolean negation and non-conservativity I: Relevant modal logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzaa020openalex-snapshot
Boolean negation and non-conservativity II: The variable-sharing property
inferred← citeshttps://doi.org/10.1093/jigpal/jzaa021openalex-snapshot
Boolean negation and non-conservativity III: the Ackermann constant
inferred← citeshttps://doi.org/10.1093/logcom/exn099openalex-snapshot
Algebras of Relations and Relevance Logic
inferred← citeshttps://doi.org/10.1093/mind/xcv.380.478openalex-snapshot
What is a Semantics for Classical Negation?
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/2275666openalex-snapshot
Gentzenizations of relevant logics without distribution. I
inferred← citeshttps://doi.org/10.2307/2275668openalex-snapshot
Gentzenizations of relevant logics with distribution
inferred← citeshttps://doi.org/10.25911/5d7396e3ab2c0openalex-snapshot
Computers and relevant logic : a project in computing matrix model structures for propositional logics
inferred← citeshttps://doi.org/10.26686/ajl.v16i2.5273openalex-snapshot
non-transitive relevant implication corresponding to classical logic consequence
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.v1i0.1761openalex-snapshot
Three Schools of Paraconsistency
inferred← citeshttps://doi.org/10.26686/ajl.v8i0.1812openalex-snapshot
Boolean Conservative Extension Results for some Modal Relevant Logics
inferred← citeshttps://doi.org/10.3166/jancl.18.49-65openalex-snapshot
Relevance logics and intuitionistic negation
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.