On the public citation graph
Lambek Calculus and its relational semantics: Completeness and incompleteness
0 signed · 83 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.19860320104openalex-snapshot
Completeness Results for Lambek Syntactic Calculus
inferredcites →https://doi.org/10.1002/malq.19920380113openalex-snapshot
A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
inferredcites →https://doi.org/10.1007/978-94-015-8242-1_8openalex-snapshot
Dyadic Modalities and Lambek Calculus
inferredcites →https://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferredcites →https://doi.org/10.1007/bf01190407openalex-snapshot
Representations of distributive lattice-ordered semigroups with binary relations
inferredcites →https://doi.org/10.1007/bf01195378openalex-snapshot
Relation algebras as residuated Boolean algebras
inferredcites →https://doi.org/10.1007/bf01200494openalex-snapshot
Adjoining units to residuated Boolean algebras
inferredcites →https://doi.org/10.1007/bfb0043079openalex-snapshot
Dynamic algebras as a well-behaved fragment of relation algebras
inferredcites →https://doi.org/10.1007/bfb0043086openalex-snapshot
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic
inferredcites →https://doi.org/10.1016/0022-4049(94)00147-2openalex-snapshot
Relations and non-commutative linear logic
inferredcites →https://doi.org/10.1016/0304-3975(91)90386-gopenalex-snapshot
On the strength of temporal proofs
inferredcites →https://doi.org/10.1016/s0049-237x(08)70133-2openalex-snapshot
Semantic Parallels in Natural Language and Computation
inferredcites →https://doi.org/10.1016/s0049-237x(08)x7001-6openalex-snapshot
Cylindric Algebras Part II
inferredcites →https://doi.org/10.1080/00029890.1958.11989160openalex-snapshot
The Mathematics of Sentence Structure
inferredcites →https://doi.org/10.2307/2274537openalex-snapshot
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
inferredcites →https://doi.org/10.4064/cm-39-1-1-12openalex-snapshot
Representations of ordered semigroups and lattices by binary relations
inferredcites →https://doi.org/10.7146/dpb.v20i372.6604openalex-snapshot
Relations and Non-commutative Linear Logic
inferredcites →https://doi.org/10.7551/mitpress/4286.003.0004openalex-snapshot
A Note on Dynamic Arrow Logic
inferredcites →https://doi.org/10.7551/mitpress/4286.003.0011openalex-snapshot
A Roadmap of Some Two-Dimensional Logics
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.19970430108openalex-snapshot
Powerset Residuated Algebras and Generalized Lambek Calculus
inferred← citeshttps://doi.org/10.1002/malq.19990450105openalex-snapshot
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
inferred← citeshttps://doi.org/10.1006/inco.1999.2853openalex-snapshot
Using Tableaux to Automate the Lambek and Other Categorial Calculi
inferred← citeshttps://doi.org/10.1007/11828563_7openalex-snapshot
On the Complexity of the Equational Theory of Relational Action Algebras
inferred← citeshttps://doi.org/10.1007/3-540-36280-0_3openalex-snapshot
Pregroups: Models and Grammars
inferred← citeshttps://doi.org/10.1007/3-540-61511-3_123openalex-snapshot
Grammar specification in categorial logics and theorem proving
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-88701-8_16openalex-snapshot
Relational Models for the Lambek Calculus with Intersection and Unit
inferred← citeshttps://doi.org/10.1007/978-3-030-93100-1_17openalex-snapshot
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability
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-032-21143-9_2openalex-snapshot
A Survey on Language Completeness of the Lambek Calculus and Its Extensions
inferred← citeshttps://doi.org/10.1007/978-3-032-22469-9_12openalex-snapshot
Complexity of Equational Theories for Relational and Language Action Lattices
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-662-59533-6_23openalex-snapshot
L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit
inferred← citeshttps://doi.org/10.1007/978-3-7908-1828-4_9openalex-snapshot
Relational Models for the Nonassociative Lambek Calculus
inferred← citeshttps://doi.org/10.1007/978-94-010-0037-6_1openalex-snapshot
Categorial Grammar at a Cross-Roads
inferred← citeshttps://doi.org/10.1007/978-94-011-4574-9_3openalex-snapshot
Proofs, Labels and Dynamics in Natural Language
inferred← citeshttps://doi.org/10.1007/978-94-017-2109-7_11openalex-snapshot
Binary Relations in the Social and Mathematical Sciences
inferred← citeshttps://doi.org/10.1007/bf01053247openalex-snapshot
On the completeness of the Lambek Calculus with respect to relativized Relational Semantics
inferred← citeshttps://doi.org/10.1007/bfb0052170openalex-snapshot
Representation theorems for residuated groupoids
inferred← citeshttps://doi.org/10.1007/s00012-011-0142-3openalex-snapshot
Axiomatizability of positive algebras of binary relations
inferred← citeshttps://doi.org/10.1007/s000120050150openalex-snapshot
Axiomatizability of reducts of algebras of relations
inferred← citeshttps://doi.org/10.1007/s10469-020-09586-9openalex-snapshot
A Restricted Fragment of the Lambek Calculus with Iteration and Intersection Operations
inferred← citeshttps://doi.org/10.1007/s10469-023-09696-0openalex-snapshot
Versions of a Local Contraction Subexponential in the Lambek Calculus
inferred← citeshttps://doi.org/10.1007/s10485-022-09699-5openalex-snapshot
Unitless Frobenius Quantales
inferred← citeshttps://doi.org/10.1007/s10849-017-9249-zopenalex-snapshot
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
inferred← citeshttps://doi.org/10.1007/s11225-014-9574-zopenalex-snapshot
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics
inferred← citeshttps://doi.org/10.1007/s11229-014-0513-3openalex-snapshot
The equational theories of representable residuated semigroups
inferred← citeshttps://doi.org/10.1016/0168-0072(94)00063-9openalex-snapshot
Models for the Lambek calculus
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.jal.2014.07.001openalex-snapshot
The categorical imperative: Category theory as a foundation for deontic logic
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.07.002openalex-snapshot
Coalgebraic completeness-via-canonicity for distributive substructural logics
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00028-6openalex-snapshot
Complexity of equations valid in algebras of relations part II: Finite axiomatizations
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00266-1openalex-snapshot
Algebraic structures in categorial grammar
inferred← citeshttps://doi.org/10.1017/s1755020310000249openalex-snapshot
POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
inferred← citeshttps://doi.org/10.1017/s1755020320000209openalex-snapshot
COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR
inferred← citeshttps://doi.org/10.1023/a:1020572931854openalex-snapshot
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus
inferred← citeshttps://doi.org/10.1093/jigpal/8.2.165openalex-snapshot
Products of modal logics. Part 2: relativised quantifiers in classical logic
inferred← citeshttps://doi.org/10.1093/jigpal/jzq044openalex-snapshot
On representable ordered residuated semigroups
inferred← citeshttps://doi.org/10.1093/jigpal/jzy037openalex-snapshot
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
inferred← citeshttps://doi.org/10.1093/logcom/exac078openalex-snapshot
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups
inferred← citeshttps://doi.org/10.1093/logcom/exaf030openalex-snapshot
Relational models for the Lambek calculus with local contraction subexponentials
inferred← citeshttps://doi.org/10.1093/logcom/exaf078openalex-snapshot
On syntactic concept lattice models for the Lambek calculus and infinitary action logic
inferred← citeshttps://doi.org/10.1093/logcom/exn099openalex-snapshot
Algebras of Relations and Relevance Logic
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.18500/1816-9791-2022-22-4-458-467openalex-snapshot
On a concrete characterization problem of universal graphic semiautomata
inferred← citeshttps://doi.org/10.2307/2586855openalex-snapshot
Relational semantics and a relational proof system for full Lambek calculus
inferred← citeshttps://doi.org/10.23638/lmcs-17(1:13)2021openalex-snapshot
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
inferred← citeshttps://doi.org/10.3233/fi-1997-3111openalex-snapshot
Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)
inferred← citeshttps://doi.org/10.4213/rm10268openalex-snapshot
Алгоритмическая сложность теорий с итерацией Клини
inferred← citeshttps://doi.org/10.4213/rm10268eopenalex-snapshot
Algorithmic complexity of theories with Kleene iteration
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:32)2023openalex-snapshot
Relational Models for the Lambek Calculus with Intersection and Constants
inferred← citeshttps://doi.org/10.48550/arxiv.2007.13079openalex-snapshot
The finite representation property for some reducts of relation algebras
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.