On the public citation graph
A Kripke-style semantics for R-Mingle using a binary accessibility relation
0 signed · 63 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.19690151602openalex-snapshot
A semantical study of constructible falsity
inferredcites →https://doi.org/10.1002/malq.19710170126openalex-snapshot
Algebraic Completeness Results for Dummett's LC and Its Extensions
inferredcites →https://doi.org/10.1007/bf00373152openalex-snapshot
Intuitive semantics for first-degree entailments and ?coupled trees?
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/bf02123283openalex-snapshot
Semantical analyses of propositional systems of Fitch and Nelson
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1016/s0049-237x(08)71685-9openalex-snapshot
Semantical Analysis of Intuitionistic Logic I
inferredcites →https://doi.org/10.1016/s1385-7258(64)50066-9openalex-snapshot
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
inferredcites →https://doi.org/10.1017/s0022481200092161openalex-snapshot
Algebraic completeness results for R-mingle and its extensions
inferredcites →https://doi.org/10.1111/j.1755-2567.1968.tb00337.xopenalex-snapshot
Propositional Logics Related to Heyting's and Johansson's
inferredcites →https://doi.org/10.1305/ndjfl/1093882544openalex-snapshot
${\rm R}$-mingle and beneath. Extensions of the Routley-Meyer semantics for ${\rm R}$.
inferredcites →https://doi.org/10.1305/ndjfl/1093891202openalex-snapshot
Completeness of relevant quantification theories.
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-61532-6_33openalex-snapshot
Tableaux for expansion and contraction
inferred← citeshttps://doi.org/10.1007/978-3-030-31136-0_6openalex-snapshot
Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-030-71258-7_7openalex-snapshot
R-Mingle is Nice, and so is Arnon Avron
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_7openalex-snapshot
Fine’s Semantics for Relevance Logic and Its Relevance
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_6openalex-snapshot
Entailment, Mingle and Binary Accessibility
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-319-29300-4_12openalex-snapshot
Logical Foundations of Evidential Reasoning with Contradictory Information
inferred← citeshttps://doi.org/10.1007/978-3-319-70821-8_3openalex-snapshot
Metaphysical Considerations on State Space Semantics
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-015-8678-8_17openalex-snapshot
Non-standard Sequent Calculi for Modal and Relevant Logics
inferred← citeshttps://doi.org/10.1007/978-94-015-9309-0_2openalex-snapshot
A Comparative Study of Various Model-Theoretic Treatments of Negation: A History of Formal Negation
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/bf00379764openalex-snapshot
A note on the decidability of a strong relevant logic
inferred← citeshttps://doi.org/10.1007/bf00935746openalex-snapshot
The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
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/s10670-026-01120-0openalex-snapshot
Constructivism and Relevance
inferred← citeshttps://doi.org/10.1007/s10992-013-9290-6openalex-snapshot
Algebraic Kripke-Style Semantics for Relevance Logics
inferred← citeshttps://doi.org/10.1007/s10992-015-9346-xopenalex-snapshot
Current Trends in Substructural Logics
inferred← citeshttps://doi.org/10.1007/s11225-015-9631-2openalex-snapshot
Correia Semantics Revisited
inferred← citeshttps://doi.org/10.1007/s11225-017-9739-7openalex-snapshot
An Algebraic View of Super-Belnap Logics
inferred← citeshttps://doi.org/10.1007/s11225-021-09956-zopenalex-snapshot
Poset Products as Relational Models
inferred← citeshttps://doi.org/10.1007/s11787-018-0214-7openalex-snapshot
Pecularities of Some Three- and Four-Valued Second Order Logics
inferred← citeshttps://doi.org/10.1016/j.apal.2019.05.003openalex-snapshot
Categories of models of R-mingle
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/j.jpaa.2012.02.006openalex-snapshot
A category equivalence for odd Sugihara monoids and its applications
inferred← citeshttps://doi.org/10.1017/bsl.2021.65openalex-snapshot
IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
inferred← citeshttps://doi.org/10.1017/s1755020309090145openalex-snapshot
RELEVANCE LOGICS AND RELATION ALGEBRAS
inferred← citeshttps://doi.org/10.1017/s1755020321000204openalex-snapshot
THE LATTICE OF SUPER-BELNAP LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020323000114openalex-snapshot
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
inferred← citeshttps://doi.org/10.1080/11663081.2021.1915687openalex-snapshot
Two pretabular linear extensions of relevance logic R
inferred← citeshttps://doi.org/10.1080/11663081.2025.2573584openalex-snapshot
Tableaux for metainferential logics
inferred← citeshttps://doi.org/10.1090/s0002-9947-2014-06072-8openalex-snapshot
Idempotent residuated structures: Some category equivalences and their applications
inferred← citeshttps://doi.org/10.1093/jigpal/jzr030openalex-snapshot
(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics
inferred← citeshttps://doi.org/10.1093/oso/9780199233915.003.0012openalex-snapshot
Curry’s Revenge: The Costs of Non-classical Solutions to the Paradoxes of Self-reference
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1988.tb00278.xopenalex-snapshot
Reasoning about knowledge and belief: a survey
inferred← citeshttps://doi.org/10.12775/llp.2014.001openalex-snapshot
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
inferred← citeshttps://doi.org/10.26686/ajl.v15i2.4864openalex-snapshot
Relevant Logics Obeying Component Homogeneity
inferred← citeshttps://doi.org/10.26686/ajl.v29i2.8288openalex-snapshot
From Excluded Middle to Homogenization in Plumwood’s Feminist Critique of Logic
inferred← citeshttps://doi.org/10.26686/ajl.v8i0.1814openalex-snapshot
Models for Substructural Arithmetics
inferred← citeshttps://doi.org/10.3390/axioms14040257openalex-snapshot
On the Equational Theory of Lattice-Based Algebras for Layered Graphs
inferred← citeshttps://doi.org/10.4324/9780203016244openalex-snapshot
An Introduction to Substructural Logics
inferred← citeshttps://doi.org/10.70675/f2a5b687z53d8z4b15z84cdz055674f720f8openalex-snapshot
La logique de l'agent rationnel
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.