On the public citation graph

Meeting strength in substructural logics

https://doi.org/10.1007/bf01058530
0 signed · 30 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/malq.19860320104openalex-snapshot
Completeness Results for Lambek Syntactic Calculus
inferredcites →https://doi.org/10.1007/3-540-56734-8openalex-snapshot
The Logic of Information Structures
inferredcites →https://doi.org/10.1007/978-94-009-5203-4_3openalex-snapshot
Relevance Logic and Entailment
inferredcites →https://doi.org/10.1007/978-94-015-8533-0openalex-snapshot
Applied Logic: How, What and Why
inferredcites →https://doi.org/10.1007/978-94-015-8533-0_12openalex-snapshot
Meeting a Modality?
inferredcites →https://doi.org/10.1007/bf00156914openalex-snapshot
Modal logic as metalogic
inferredcites →https://doi.org/10.1007/bf00171695openalex-snapshot
The Lambek calculus enriched with additional connectives
inferredcites →https://doi.org/10.1007/bf00260931openalex-snapshot
Modal translations in substructural logics
inferredcites →https://doi.org/10.1007/bf00370633openalex-snapshot
Sequent-systems and groupoid models. II
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/0304-3975(88)90001-1openalex-snapshot
Fiftieth volume of theoretical computer science
inferredcites →https://doi.org/10.1090/psapm/012openalex-snapshot
Structure of Language and Its Mathematical Aspects
inferredcites →https://doi.org/10.1090/psapm/012/9972openalex-snapshot
On the calculus of syntactic types
inferredcites →https://doi.org/10.1109/lics.1993.287565openalex-snapshot
Lambek grammars are context free
inferredcites →https://doi.org/10.1515/9783112329580openalex-snapshot
Categorial Investigations
inferredcites →https://doi.org/10.2307/2274953openalex-snapshot
Quantales and (noncommutative) linear logic
inferredcites →https://doi.org/10.6084/m9.figshare.995908openalex-snapshot
Resource Logics - Proof Theoretical Investigations

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-56944-8_42openalex-snapshot
A proof search system for a modal substructural logic based on labelled deductive systems
inferred← citeshttps://doi.org/10.1007/978-94-017-1280-4_8openalex-snapshot
Tarskian Structured Consequence Relations and Functional Completeness
inferred← citeshttps://doi.org/10.1007/bf00159344openalex-snapshot
Multimodal linguistic inference
inferred← citeshttps://doi.org/10.1007/s11168-007-9034-2openalex-snapshot
A Chronicle of Type Logical Grammar: 1935–1994
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/j.ic.2021.104756openalex-snapshot
Non-normal modal logics and conditional logics: Semantic analysis and proof theory
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.3115/976744.976788openalex-snapshot
Categorial grammar, modalities and algebraic semantics
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/0605034openalex-snapshot
Restricted exchange, braidings and the monoidal centre
inferred← citeshttps://doi.org/10.5463/thesis.149openalex-snapshot
Semantically informed methods in structural proof theory
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.