On the public citation graph
Duality for algebras of relevant logics
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.1007/978-94-009-7798-3_2openalex-snapshot
Exponentiation and Duality
inferredcites →https://doi.org/10.1007/bf00370442openalex-snapshot
Distributive lattices with a dual homomorphic operation
inferredcites →https://doi.org/10.1007/bf00370636openalex-snapshot
R?-algebras and R?-model structures as power constructs
inferredcites →https://doi.org/10.1007/bf00401657openalex-snapshot
Distributive lattices with a dual homomorphic operation. II
inferredcites →https://doi.org/10.1007/bf01194512openalex-snapshot
A duality for Boolean algebras with operators
inferredcites →https://doi.org/10.1007/bf01349560openalex-snapshot
Failure of interpolation in relevant logics
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1016/s0304-0208(08)73814-3openalex-snapshot
Ordered Sets and Duality for Distributive Lattices
inferredcites →https://doi.org/10.1017/cbo9780511809088openalex-snapshot
Introduction to Lattices and Order
inferredcites →https://doi.org/10.1090/s0002-9904-1950-09392-6openalex-snapshot
Book Review: Lattice theory
inferredcites →https://doi.org/10.1112/blms/2.2.186openalex-snapshot
Representation of Distributive Lattices by means of ordered Stone Spaces
inferredcites →https://doi.org/10.1305/ndjfl/1093870308openalex-snapshot
A new foundation for the theory of relations.
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.5860/choice.28-3334openalex-snapshot
Introduction to lattices and order
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-030-71430-7_13openalex-snapshot
Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_22openalex-snapshot
Comments on the Contributions
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_4openalex-snapshot
Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
inferred← citeshttps://doi.org/10.1007/978-3-030-76920-8_5openalex-snapshot
An Algebraic Glimpse at Bunched Implications and Separation Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_8openalex-snapshot
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL
inferred← citeshttps://doi.org/10.1007/978-3-031-68279-7_10openalex-snapshot
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras
inferred← citeshttps://doi.org/10.1007/978-3-319-29300-4_6openalex-snapshot
The Story of $$\gamma $$ γ
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_3openalex-snapshot
Larisa Maksimova’s Early Contributions to Relevance Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_20openalex-snapshot
Discrete Duality for Relation Algebras and Cylindric Algebras
inferred← citeshttps://doi.org/10.1007/978-3-7908-1769-0_3openalex-snapshot
Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
inferred← citeshttps://doi.org/10.1007/s00012-011-0154-zopenalex-snapshot
On canonicity of poset expansions
inferred← citeshttps://doi.org/10.1007/s00012-020-00694-2openalex-snapshot
Epimorphisms in varieties of subidempotent residuated structures
inferred← citeshttps://doi.org/10.1007/s10472-007-9051-8openalex-snapshot
Automated theorem proving by resolution in non-classical logics
inferred← citeshttps://doi.org/10.1007/s11225-008-9106-9openalex-snapshot
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View
inferred← citeshttps://doi.org/10.1007/s11225-011-9342-2openalex-snapshot
Paraconsistency in Categories: Case of Relevance Logic
inferred← citeshttps://doi.org/10.1007/s11787-007-0016-9openalex-snapshot
Functorial Duality for Ortholattices and De Morgan Lattices
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.fss.2009.12.013openalex-snapshot
Algebras for Galois-style connections and their discrete duality
inferred← citeshttps://doi.org/10.1016/j.fss.2014.09.014openalex-snapshot
Discrete dualities for n -potent MTL-algebras and 2-potent BL-algebras
inferred← citeshttps://doi.org/10.1016/j.jpaa.2018.09.015openalex-snapshot
Varieties of De Morgan monoids: Minimality and irreducible algebras
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00351-0openalex-snapshot
Completeness of intersection and union type assignment systems for call-by-value λ-models
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00233-8openalex-snapshot
Duality for modal μ-logics
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1017/s1755020309990293openalex-snapshot
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
inferred← citeshttps://doi.org/10.1017/s1755020310000201openalex-snapshot
CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics
inferred← citeshttps://doi.org/10.1093/jigpal/jzy010openalex-snapshot
Stone duality for lattice expansions
inferred← citeshttps://doi.org/10.1093/logcom/exag031openalex-snapshot
Polyadic De Morgan Monoids: Functional representation and MG structures
inferred← citeshttps://doi.org/10.1093/logcom/exr006openalex-snapshot
Finite RDP-algebras: duality, coproducts and logic
inferred← citeshttps://doi.org/10.1109/ismvl.1999.779723openalex-snapshot
Representation theorems and theorem proving in non-classical logics
inferred← citeshttps://doi.org/10.1109/ismvl.2001.924564openalex-snapshot
Representation theorems and the semantics of (semi)lattice-based logics
inferred← citeshttps://doi.org/10.1215/00294527-2008-025openalex-snapshot
Dual Gaggle Semantics for Entailment
inferred← citeshttps://doi.org/10.1305/ndjfl/1082637806openalex-snapshot
General Frames for Relevant Modal Logics
inferred← citeshttps://doi.org/10.1515/ms-2022-0020openalex-snapshot
Modules with fusion and implication based over distributive lattices: Representation and duality
inferred← citeshttps://doi.org/10.2178/bsl/1294186665openalex-snapshot
2010 North American Annual Meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.2178/jsl/1230396916openalex-snapshot
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
inferred← citeshttps://doi.org/10.23638/lmcs-15(1:27)2019openalex-snapshot
Stone-Type Dualities for Separation Logics
inferred← citeshttps://doi.org/10.2478/s11533-006-0025-6openalex-snapshot
Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
inferred← citeshttps://doi.org/10.26686/ajl.v18i5.6923openalex-snapshot
On Not Saying What We Shouldn't Have to Say
inferred← citeshttps://doi.org/10.26686/ajl.v20i1.8086openalex-snapshot
Geometry of Relevant Implication II
inferred← citeshttps://doi.org/10.3233/fi-2013-894openalex-snapshot
Discrete Duality for Rough Relation Algebras
inferred← citeshttps://doi.org/10.35537/10915/161245openalex-snapshot
Algebras y lógicas con implicación y fusión
inferred← citeshttps://doi.org/10.4204/eptcs.381.7openalex-snapshot
Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
inferred← citeshttps://doi.org/10.4324/9780203016244openalex-snapshot
An Introduction to Substructural Logics
inferred← citeshttps://doi.org/10.48550/arxiv.2108.06603openalex-snapshot
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
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.