On the public citation graph
Sequent-systems and groupoid models. II
0 signed · 113 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/s0002-9947-1948-0027263-2openalex-snapshot
Representations of lattices by sets
inferredcites →https://doi.org/10.2307/2219366openalex-snapshot
Entailment. The Logic of Relevance and Necessity. Volume I.
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.1002/malq.19920380113openalex-snapshot
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
inferred← citeshttps://doi.org/10.1007/978-1-4613-0897-3_4openalex-snapshot
Categorial Grammar and Lambda 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-030-88853-4_22openalex-snapshot
Disjunction and Negation in Information Based Semantics
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-642-35722-0_15openalex-snapshot
A Note on Extensions: Admissible Rules via Semantics
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_11openalex-snapshot
Lattice Logic Properly Displayed
inferred← citeshttps://doi.org/10.1007/978-3-662-55665-8_28openalex-snapshot
Substructural Logics for Pooling Information
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-009-2829-9_7openalex-snapshot
Principles of Categorial Grammar in the Light of Current Formalisms
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-011-5638-7_8openalex-snapshot
Displaying as Temporalizing
inferred← citeshttps://doi.org/10.1007/978-94-015-8242-1_8openalex-snapshot
Dyadic Modalities and Lambek Calculus
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/bf00263539openalex-snapshot
Categorial grammar and type theory
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/bf01058530openalex-snapshot
Meeting strength in substructural logics
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/s10849-006-9026-xopenalex-snapshot
Investigations into a left-structural right-substructural sequent calculus
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-011-9360-0openalex-snapshot
Grishin Algebras and Cover Systems for Classical Bilinear Logic
inferred← citeshttps://doi.org/10.1007/s11225-012-9381-3openalex-snapshot
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics
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.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.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/j.tcs.2005.10.043openalex-snapshot
Linear and affine logics with temporal, spatial and epistemic operators
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/a:1022989323091openalex-snapshot
Tableaux for Łukasiewicz Infinite-valued Logic
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/3.2-3.371openalex-snapshot
Multimodal Linguistic Inference
inferred← citeshttps://doi.org/10.1093/jigpal/5.4.505openalex-snapshot
Combinators and structurally free logic
inferred← citeshttps://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferred← citeshttps://doi.org/10.1093/jigpal/jzq046openalex-snapshot
On a conservative extension argument of Dana Scott
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.12775/llp.2018.007openalex-snapshot
Supervenience, Dependence, Disjunction
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.3115/976744.976788openalex-snapshot
Categorial grammar, modalities and algebraic semantics
inferred← citeshttps://doi.org/10.3390/axioms10040273openalex-snapshot
Basic Core Fuzzy Logics and Algebraic Routley–Meyer-Style Semantics
inferred← citeshttps://doi.org/10.4204/eptcs.358.21openalex-snapshot
Routley Star in Information-Based Semantics
inferred← citeshttps://doi.org/10.4230/lipics.csl.2025.42openalex-snapshot
Refining Labelled Systems for Modal and Constructive Logics with Applications
inferred← citeshttps://doi.org/10.4467/20842589rm.24.001.20698openalex-snapshot
Powers and limitations of Urquhart-style semantics I: basic substructural logics
inferred← citeshttps://doi.org/10.48550/arxiv.math/0303005openalex-snapshot
A Note on the Set-Theoretic Representation of Arbitrary Lattices
inferred← citeshttps://doi.org/10.5772/5319openalex-snapshot
A Linear Logic Based Approach to Timed Petri Nets
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.