On the public citation graph

Multimodal linguistic inference

https://doi.org/10.1007/bf00159344
0 signed · 124 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.19920380113openalex-snapshot
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
inferredcites →https://doi.org/10.1006/inco.1994.1036openalex-snapshot
Logic Programming in a Fragment of Intuitionistic Linear Logic
inferredcites →https://doi.org/10.1007/978-94-009-6259-0_4openalex-snapshot
Correspondence Theory
inferredcites →https://doi.org/10.1007/978-94-011-1042-6openalex-snapshot
Type Logical Grammar
inferredcites →https://doi.org/10.1007/978-94-015-6878-4_11openalex-snapshot
Categorial and Categorical Grammars
inferredcites →https://doi.org/10.1007/978-94-015-6878-4_4openalex-snapshot
Generative Power of Categorial Grammars
inferredcites →https://doi.org/10.1007/bf00284976openalex-snapshot
Display logic
inferredcites →https://doi.org/10.1007/bf00370633openalex-snapshot
Sequent-systems and groupoid models. II
inferredcites →https://doi.org/10.1007/bf00627513openalex-snapshot
Intensionality and boundedness
inferredcites →https://doi.org/10.1007/bf00671566openalex-snapshot
Sequent-systems and groupoid models. I
inferredcites →https://doi.org/10.1007/bf01053246openalex-snapshot
Modalities in linear logic weaker than the exponential ?of course?: Algebraic and relational semantics
inferredcites →https://doi.org/10.1007/bf01058530openalex-snapshot
Meeting strength in substructural logics
inferredcites →https://doi.org/10.1007/bfb0018431openalex-snapshot
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
inferredcites →https://doi.org/10.1016/0024-3841(93)90024-qopenalex-snapshot
Categorial grammar
inferredcites →https://doi.org/10.1016/0167-6423(91)90047-2openalex-snapshot
Automated deduction in nonclassical logics
inferredcites →https://doi.org/10.1016/0168-0072(92)90075-bopenalex-snapshot
Decision problems for propositional linear logic
inferredcites →https://doi.org/10.1016/0168-0072(93)90093-sopenalex-snapshot
On the unity of logic
inferredcites →https://doi.org/10.1016/s0049-237x(08)71541-6openalex-snapshot
The Semantics of Entailment
inferredcites →https://doi.org/10.1016/s0049-237x(09)x7024-2openalex-snapshot
Language in Action - Categories, Lambdas and Dynamic Logic
inferredcites →https://doi.org/10.1016/s1874-5075(03)80014-1openalex-snapshot
Labelled Deductive Systems
inferredcites →https://doi.org/10.1075/llsee.25.06benopenalex-snapshot
The semantics of variety in categorial grammar
inferredcites →https://doi.org/10.1075/llsee.25.11kanopenalex-snapshot
The non-associative Lambek calculus
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.1093/logcom/2.3.297openalex-snapshot
Logic Programming with Focusing Proofs in Linear Logic
inferredcites →https://doi.org/10.1093/logcom/4.2.125openalex-snapshot
Sequent Calculi for Normal Modal Propositional Logics
inferredcites →https://doi.org/10.1093/oso/9780198537779.003.0004openalex-snapshot
Partial Gaggles Applied to Logics with Restricted Structural Rules
inferredcites →https://doi.org/10.1093/oso/9780198537779.003.0005openalex-snapshot
A General Theory of Structured Consequence Relations
inferredcites →https://doi.org/10.1515/9783110877335-011openalex-snapshot
Bound variables in syntax (are there any?)
inferredcites →https://doi.org/10.3115/981623.981656openalex-snapshot
Parsing as natural deduction

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0470018860.s00231openalex-snapshot
Categorial Grammar and Formal Semantics
inferred← citeshttps://doi.org/10.1007/11422532_5openalex-snapshot
On the Selective Lambek Calculus
inferred← citeshttps://doi.org/10.1007/11422532_8openalex-snapshot
A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars
inferred← citeshttps://doi.org/10.1007/3-540-45738-0_5openalex-snapshot
Anaphora and Quantification in Categorial Grammar
inferred← citeshttps://doi.org/10.1007/3-540-48975-4_7openalex-snapshot
The Logic of Tune A Proof-Theoretic Analysis of Intonation
inferred← citeshttps://doi.org/10.1007/978-3-030-38808-9_9openalex-snapshot
Iterative Division in the Distributive Full Non-associative Lambek Calculus
inferred← citeshttps://doi.org/10.1007/978-3-030-63787-3_1openalex-snapshot
Lambek Calculus with Classical Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-63787-3_2openalex-snapshot
Partial Orders, Residuation, and First-Order Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-78946-6_6openalex-snapshot
Powerful and NP-Complete: Hypergraph Lambek Grammars
inferred← citeshttps://doi.org/10.1007/978-3-030-90138-7_1openalex-snapshot
Decidable Fragments of Calculi Used in CatLog
inferred← citeshttps://doi.org/10.1007/978-3-031-10769-6_27openalex-snapshot
Non-associative, Non-commutative Multi-modal Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-21780-7_1openalex-snapshot
Complexity of the Lambek Calculus and Its Extensions
inferred← citeshttps://doi.org/10.1007/978-3-031-29415-0_11openalex-snapshot
Truth-Maker Semantics for Some Substructural Logics
inferred← citeshttps://doi.org/10.1007/978-3-031-50628-4_12openalex-snapshot
Lambek Calculus with Optional Divisions
inferred← citeshttps://doi.org/10.1007/978-3-031-62687-6_13openalex-snapshot
Lambek Calculus with Banged Atoms for Parasitic Gaps
inferred← citeshttps://doi.org/10.1007/978-3-319-65430-0_6openalex-snapshot
Categorial Grammars and Their Logics
inferred← citeshttps://doi.org/10.1007/978-3-319-94205-6_16openalex-snapshot
A Logical Framework with Commutative and Non-commutative Subexponentials
inferred← citeshttps://doi.org/10.1007/978-3-540-73445-1_19openalex-snapshot
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-13089-2_35openalex-snapshot
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness
inferred← citeshttps://doi.org/10.1007/978-3-642-14322-9_16openalex-snapshot
Relational Semantics for the Lambek-Grishin Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-20169-1_12openalex-snapshot
A Learnable Representation for Syntax Using Residuated Lattices
inferred← citeshttps://doi.org/10.1007/978-3-642-31262-5_11openalex-snapshot
Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free
inferred← citeshttps://doi.org/10.1007/978-3-642-31555-8_5openalex-snapshot
The Multimodal Lambek Calculus
inferred← citeshttps://doi.org/10.1007/978-3-642-39998-5_17openalex-snapshot
A Count Invariant for Lambek Calculus with Additives and Bracket Modalities
inferred← citeshttps://doi.org/10.1007/978-3-642-54789-8_17openalex-snapshot
Extended Lambek Calculi and First-Order Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-54789-8_18openalex-snapshot
A Categorial Type Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-43742-1_12openalex-snapshot
Semantically Inactive Multiplicatives and Words as Types
inferred← citeshttps://doi.org/10.1007/978-3-662-47197-5_2openalex-snapshot
Some Syntactic Interpretations in Different Systems of Full Lambek Calculus
inferred← citeshttps://doi.org/10.1007/978-3-662-55386-2_27openalex-snapshot
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics
inferred← citeshttps://doi.org/10.1007/978-3-662-55751-8_26openalex-snapshot
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities
inferred← citeshttps://doi.org/10.1007/978-3-662-56343-4_1openalex-snapshot
Binding Domains: Anaphoric and Pronominal Pronouns in Categorial Grammar
inferred← citeshttps://doi.org/10.1007/978-3-662-57784-4_5openalex-snapshot
Bracket Induction for Lambek Calculus with Bracket Modalities
inferred← citeshttps://doi.org/10.1007/978-3-662-59648-7_5openalex-snapshot
Undecidability of a Newly Proposed Calculus for CatLog3
inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_15openalex-snapshot
Labelled Deduction in the Composition of Form and Meaning
inferred← citeshttps://doi.org/10.1007/978-94-017-0538-7_21openalex-snapshot
Non-Constituent Coordination, Wrapping, and Multimodal Categorial Grammars
inferred← citeshttps://doi.org/10.1007/s10849-018-09277-wopenalex-snapshot
Parsing/Theorem-Proving for Logical Grammar CatLog3
inferred← citeshttps://doi.org/10.1007/s10849-018-09278-9openalex-snapshot
On Involutive Nonassociative Lambek Calculus
inferred← citeshttps://doi.org/10.1007/s10849-018-9269-3openalex-snapshot
On the Recognizing Power of the Lambek Calculus with Brackets
inferred← citeshttps://doi.org/10.1007/s10849-020-09320-9openalex-snapshot
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
inferred← citeshttps://doi.org/10.1007/s10988-016-9197-0openalex-snapshot
Grammar logicised: relativisation
inferred← citeshttps://doi.org/10.1007/s10992-009-9118-6openalex-snapshot
Symmetric Categorial Grammar
inferred← citeshttps://doi.org/10.1007/s11168-007-9034-2openalex-snapshot
A Chronicle of Type Logical Grammar: 1935–1994
inferred← citeshttps://doi.org/10.1007/s11225-022-10003-8openalex-snapshot
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
inferred← citeshttps://doi.org/10.1007/s11229-026-05790-9openalex-snapshot
FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity
inferred← citeshttps://doi.org/10.1007/s42484-024-00193-wopenalex-snapshot
Large scale structure-aware pronoun resolution using quantum natural language processing
inferred← citeshttps://doi.org/10.1016/b978-0-444-51747-0.50003-2openalex-snapshot
Logical Grammar
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00002-5openalex-snapshot
Categorial Type Logics
inferred← citeshttps://doi.org/10.1016/j.apal.2013.05.009openalex-snapshot
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
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.1016/j.ins.2014.07.006openalex-snapshot
On the definition of suitable orderings to generate adjunctions over an unstructured codomain
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100798openalex-snapshot
Hypergraph Lambek grammars
inferred← citeshttps://doi.org/10.1016/j.scico.2013.07.005openalex-snapshot
A verified algebra for read–write Linked Data
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.07.027openalex-snapshot
S4 enriched multimodal categorial grammars are context-free
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.02.042openalex-snapshot
S4 enriched multimodal categorial grammars are context-free: Corrigendum
inferred← citeshttps://doi.org/10.1016/s0024-3795(97)10033-7openalex-snapshot
Schur complements obey Lambek's categorial grammar: Another view of Gaussian elimination and LU decomposition
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82570-8openalex-snapshot
Galois Connections in Categorial Type Logic
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82576-9openalex-snapshot
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable
inferred← citeshttps://doi.org/10.1017/s0960129518000117openalex-snapshot
Subexponentials in non-commutative linear logic
inferred← citeshttps://doi.org/10.1023/a:1004900300438openalex-snapshot
Simulation and Transfer Results in Modal Logic – A Survey
inferred← citeshttps://doi.org/10.1023/a:1024512212054openalex-snapshot
On the Generative Capacity of Multi-modal Categorial Grammars
inferred← citeshttps://doi.org/10.1023/a:1026175817625openalex-snapshot
Residuation, Structural Rules and Context Freeness
inferred← citeshttps://doi.org/10.1023/b:jlli.0000024730.34743.faopenalex-snapshot
Analyzing the Core of Categorial Grammar
inferred← citeshttps://doi.org/10.1093/jigpal/jzag009openalex-snapshot
From weakly topological quasi-Boolean algebra to weak pre-rough algebra and closely related structures: an algebraic and logical investigation
inferred← citeshttps://doi.org/10.1093/jigpal/jzp048openalex-snapshot
On the directional Lambek calculus
inferred← citeshttps://doi.org/10.1093/jigpal/jzt042openalex-snapshot
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP
inferred← citeshttps://doi.org/10.1093/jigpal/jzz017openalex-snapshot
From positive PDL to its non-classical extensions
inferred← citeshttps://doi.org/10.1093/jigpal/jzz020openalex-snapshot
Gentzen sequent calculi for some intuitionistic modal logics
inferred← citeshttps://doi.org/10.1093/obo/9780199772810-0244openalex-snapshot
Categorial Grammar
inferred← citeshttps://doi.org/10.1098/rsta.2000.0583openalex-snapshot
Formal grammar and information theory: together again?
inferred← citeshttps://doi.org/10.1111/j.1467-9612.2004.00005.xopenalex-snapshot
A Computational Algebraic Approach to English Grammar
inferred← citeshttps://doi.org/10.1134/s0081543816060080openalex-snapshot
On translating Lambek grammars with one division into context-free grammars
inferred← citeshttps://doi.org/10.1145/3622758openalex-snapshot
Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
inferred← citeshttps://doi.org/10.1145/3622758.3622890openalex-snapshot
Trustworthy Formal Natural Language Specifications
inferred← citeshttps://doi.org/10.15398/jlm.v8i2.221openalex-snapshot
Serial verb constructions and covert coordinations in Edo – an analysis in Type Logical Grammar
inferred← citeshttps://doi.org/10.18653/v1/2020.conll-1.3openalex-snapshot
Neural Proof Nets
inferred← citeshttps://doi.org/10.18653/v1/2022.naacl-srw.15openalex-snapshot
Simulating Feature Structures with Simple Types
inferred← citeshttps://doi.org/10.18653/v1/w17-3414openalex-snapshot
Conjunctive Categorial Grammars
inferred← citeshttps://doi.org/10.18778/0138-0680.2025.17openalex-snapshot
Semi-Substructural Logics à la Lambek with Symmetry
inferred← citeshttps://doi.org/10.24963/ijcai.2020/249openalex-snapshot
On the Decidability of Intuitionistic Tense Logic without Disjunction
inferred← citeshttps://doi.org/10.26650/arcp2019-5110openalex-snapshot
Logical Instrumentalism and Concatenation
inferred← citeshttps://doi.org/10.3115/1599081.1599109openalex-snapshot
Efficient parsing with the product-free Lambek calculus
inferred← citeshttps://doi.org/10.32408/compositionality-5-2openalex-snapshot
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
inferred← citeshttps://doi.org/10.3390/axioms12070620openalex-snapshot
Cut-Free Gentzen Sequent Calculi for Tense Logics
inferred← citeshttps://doi.org/10.4204/eptcs.283.8openalex-snapshot
Classical Copying versus Quantum Entanglement in Natural Language: The Case of VP-ellipsis
inferred← citeshttps://doi.org/10.4204/eptcs.340.6openalex-snapshot
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications
inferred← citeshttps://doi.org/10.4204/eptcs.381.6openalex-snapshot
Multimodality in the Hypergraph Lambek Calculus
inferred← citeshttps://doi.org/10.4204/eptcs.415.18openalex-snapshot
Semi-Substructural Logics à la Lambek
inferred← citeshttps://doi.org/10.48550/arxiv.0910.1483openalex-snapshot
Ludique : une logique sans axiome d'identité
inferred← citeshttps://doi.org/10.48550/arxiv.1506.05561openalex-snapshot
Comparing and evaluating extended Lambek calculi
inferred← citeshttps://doi.org/10.48550/arxiv.1711.06361openalex-snapshot
Eliminating the unit constant in the Lambek calculus with brackets
inferred← citeshttps://doi.org/10.48550/arxiv.1908.05528openalex-snapshot
Vector spaces as Kripke frames
inferred← citeshttps://doi.org/10.48550/arxiv.2009.14449openalex-snapshot
Non-normal logics: semantic analysis and proof theory (extended version)
inferred← citeshttps://doi.org/10.48550/arxiv.2010.00819openalex-snapshot
Hypergraph Lambek Calculus
inferred← citeshttps://doi.org/10.48550/arxiv.2103.01199openalex-snapshot
Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus
inferred← citeshttps://doi.org/10.48550/arxiv.2111.01883openalex-snapshot
Cyclic Shift in the Lambek Calculus
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.