On the public citation graph
Sequent-systems and groupoid models. I
0 signed · 97 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.19850311405openalex-snapshot
A Completeness Theorem for the Lambek Calculus of Syntactic Categories
inferredcites →https://doi.org/10.1002/malq.19860320104openalex-snapshot
Completeness Results for Lambek Syntactic Calculus
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1080/00048408212340551openalex-snapshot
Multisets and relevant implication I
inferredcites →https://doi.org/10.1090/psapm/012/9972openalex-snapshot
On the calculus of syntactic types
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.19920380113openalex-snapshot
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
inferred← citeshttps://doi.org/10.1007/978-3-030-71430-7_7openalex-snapshot
Revisiting Semilattice Semantics
inferred← citeshttps://doi.org/10.1007/978-3-031-45558-2_15openalex-snapshot
Non-labelled Sequent Calculi of Public Announcement Expansions of $$\textbf{K45}$$ and $$\textbf{S5}$$
inferred← citeshttps://doi.org/10.1007/978-3-031-57635-5_14openalex-snapshot
Substructural Negations as Normal Modal Operators
inferred← citeshttps://doi.org/10.1007/978-3-540-24615-2_9openalex-snapshot
Relational Models of Lambek Logics
inferred← citeshttps://doi.org/10.1007/978-3-540-73001-9_34openalex-snapshot
Operational Semantics for Positive Relevant Logics Without Distribution
inferred← citeshttps://doi.org/10.1007/978-3-642-31555-8_4openalex-snapshot
The Non-associative Lambek Calculus
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_11openalex-snapshot
Lattice Logic Properly Displayed
inferred← citeshttps://doi.org/10.1007/978-90-481-9670-8_1openalex-snapshot
What Is a Good Sequent Calculus?
inferred← citeshttps://doi.org/10.1007/978-94-010-0387-2_2openalex-snapshot
Sequent Systems for Modal Logics
inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_14openalex-snapshot
Transformation Methods in LDS
inferred← citeshttps://doi.org/10.1007/978-94-011-5108-5_21openalex-snapshot
Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-0487-8_15openalex-snapshot
Logical Consequence: A Turn in Style
inferred← citeshttps://doi.org/10.1007/978-94-017-1739-7_7openalex-snapshot
Necessary Conditions for Negation-Operators (with Particular Applications to Paraconsistent Negation)
inferred← citeshttps://doi.org/10.1007/978-94-017-1754-0_7openalex-snapshot
Tableau Methods for Substructural Logics
inferred← citeshttps://doi.org/10.1007/bf00260740openalex-snapshot
The first axiomatization of relevant logic
inferred← citeshttps://doi.org/10.1007/bf00260931openalex-snapshot
Modal translations in substructural logics
inferred← citeshttps://doi.org/10.1007/bf00881958openalex-snapshot
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
inferred← citeshttps://doi.org/10.1007/bf01049305openalex-snapshot
Functional completeness for subsystems of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1007/bf01181683openalex-snapshot
Informational interpretation of substructural propositional logics
inferred← citeshttps://doi.org/10.1007/bfb0031928openalex-snapshot
Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic
inferred← citeshttps://doi.org/10.1007/s00012-011-0154-zopenalex-snapshot
On canonicity of poset expansions
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-018-9466-1openalex-snapshot
Disentangling Structural Connectives or Life Without Display Property
inferred← citeshttps://doi.org/10.1007/s11225-021-09946-1openalex-snapshot
Residuated Structures and Orthomodular Lattices
inferred← citeshttps://doi.org/10.1007/s11225-023-10069-yopenalex-snapshot
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
inferred← citeshttps://doi.org/10.1007/s11229-019-02474-5openalex-snapshot
The nature of entailment: an informational approach
inferred← citeshttps://doi.org/10.1007/s11229-026-05616-8openalex-snapshot
Sequent calculi for public announcement logic and action model logic
inferred← citeshttps://doi.org/10.1016/0165-0114(95)00085-2openalex-snapshot
A note on Kripke semantics for residuated logic
inferred← citeshttps://doi.org/10.1016/0165-0114(95)00199-9openalex-snapshot
Tableau method for residuated logic
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00002-5openalex-snapshot
Categorial Type Logics
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50005-9openalex-snapshot
Categorial Type Logics
inferred← citeshttps://doi.org/10.1016/b978-044481714-3/50016-3openalex-snapshot
Mathematical Linguistics and Proof Theory
inferred← citeshttps://doi.org/10.1016/j.apal.2010.01.003openalex-snapshot
Cut elimination and strong separation for substructural logics: An algebraic approach
inferred← citeshttps://doi.org/10.1016/j.apal.2024.103509openalex-snapshot
Universal proof theory: Semi-analytic rules and Craig interpolation
inferred← citeshttps://doi.org/10.1016/j.jal.2012.09.002openalex-snapshot
A logic of non-monotonic interactions
inferred← citeshttps://doi.org/10.1016/j.jcss.2013.05.006openalex-snapshot
Displacement logic for anaphora
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80030-0openalex-snapshot
Relevant and substructural logics
inferred← citeshttps://doi.org/10.1017/jsl.2014.39openalex-snapshot
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
inferred← citeshttps://doi.org/10.1017/s1755020310000201openalex-snapshot
CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS
inferred← citeshttps://doi.org/10.1017/s175502031400015xopenalex-snapshot
UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS
inferred← citeshttps://doi.org/10.1017/s1755020319000017openalex-snapshot
SUBSTRUCTURAL INQUISITIVE LOGICS
inferred← citeshttps://doi.org/10.1023/a:1004947400860openalex-snapshot
Grafting Modalities onto Substructural Implication Systems
inferred← citeshttps://doi.org/10.1023/a:1004982417404openalex-snapshot
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics
inferred← citeshttps://doi.org/10.1023/a:1005292130553openalex-snapshot
The Classification of Propositional Calculi
inferred← citeshttps://doi.org/10.1023/a:1016500922708openalex-snapshot
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀
inferred← citeshttps://doi.org/10.1023/a:1019915908844openalex-snapshot
Kripke Semantics for Modal Substructural Logics
inferred← citeshttps://doi.org/10.1023/b:logi.0000003928.44012.57openalex-snapshot
Normal Modal Substructural Logics with Strong Negation
inferred← citeshttps://doi.org/10.1093/jigpal/jzac078openalex-snapshot
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
inferred← citeshttps://doi.org/10.1093/logcom/exab008openalex-snapshot
Epistemic extensions of substructural inquisitive logics
inferred← citeshttps://doi.org/10.1093/logcom/exu002openalex-snapshot
A substructural logic for layered graphs
inferred← citeshttps://doi.org/10.1093/logcom/exv020openalex-snapshot
Layered graph logic as an assertion language for access control policy models
inferred← citeshttps://doi.org/10.1109/ismvl.1995.513533openalex-snapshot
Finite algebraic models for residuated logic
inferred← citeshttps://doi.org/10.1111/j.1747-9991.2011.00418.xopenalex-snapshot
Proof Theory for Modal Logic
inferred← citeshttps://doi.org/10.1111/theo.12459openalex-snapshot
Change of logic, without change of meaning
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.02openalex-snapshot
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
inferred← citeshttps://doi.org/10.21146/2074-1472-2025-31-2-143-168openalex-snapshot
Отмеченное субординатное натуральное исчисление для базовой интуиционистской кондициональной логики
inferred← citeshttps://doi.org/10.2307/2275370openalex-snapshot
Extending the Curry-Howard interpretation to linear, relevant and other resource logics
inferred← citeshttps://doi.org/10.26686/ajl.v8i0.1813openalex-snapshot
Logics without the contraction rule and residuated lattices
inferred← citeshttps://doi.org/10.3390/axioms10040273openalex-snapshot
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
inferred← citeshttps://doi.org/10.4467/20842589rm.24.001.20698openalex-snapshot
Powers and limitations of Urquhart-style semantics I: basic 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.