Search results for "Lambek"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Hans-Jörg Tiede	Lambek Calculus Proofs and Tree Automata.	LACL	1998	DBLP DOI BibTeX RDF
109	Maria Bulinska	On the Complexity of Nonassociative Lambek Calculus with Unit.	Stud Logica	2009	DBLP DOI BibTeX RDF	Nonassociative Lambek calculus, P-TIME decidability, Context-free grammar
109	Maria Bulinska	The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.	Stud Logica	2005	DBLP DOI BibTeX RDF	Lambek, grammar, calculus, context-free
93	Anna Zamansky, Nissim Francez, Yoad Winter	A 'Natural Logic' inference system using the Lambek calculus.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	Natural logic, Inference, Normalization, Lambek calculus
85	Michael Moortgat	Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus.	WoLLIC	2007	DBLP DOI BibTeX RDF
69	Yury Savateev	Lambek Grammars with One Division Are Decidable in Polynomial Time.	CSR	2008	DBLP DOI BibTeX RDF
69	Wojciech Buszkowski	Relational Models of Lambek Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
69	Annie Foret, Yannick Le Nir	On Limit Points for Some Variants of Rigid Lambek Grammars.	ICGI	2002	DBLP DOI BibTeX RDF
69	Annie Foret	On Mixing Deduction and Substitution in Lambek Categorial Grammars.	LACL	2001	DBLP DOI BibTeX RDF
60	Michal Kozak	Distributive Full Lambek Calculus Has the Finite Model Property.	Stud Logica	2009	DBLP DOI BibTeX RDF	Full Lambek calculus, Finite model property, Nucleus, Decidability, Residuated lattice, Distributive lattice
60	Sharon Shoham, Nissim Francez	Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.	Stud Logica	2008	DBLP DOI BibTeX RDF	Game semantics, Lambek calculus
60	Denis Béchet	Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.	Stud Logica	2007	DBLP DOI BibTeX RDF	parsing, linear logic, context-free grammars, pregroup, Lambek calculus
60	Maciej Farulewski	On Finite Models of the Lambek Calculus.	Stud Logica	2005	DBLP DOI BibTeX RDF	finite model property, substructural logics, Lambek Calculus
58	Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh	Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus	CoRR	2013	DBLP BibTeX RDF
58	Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh	Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
52	Wojciech Buszkowski, Maciej Farulewski	Nonassociative Lambek Calculus with Additives and Context-Free Languages.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
52	Yury Savateev	Product-Free Lambek Calculus Is NP-Complete.	LFCS	2009	DBLP DOI BibTeX RDF
52	Denis Béchet, Annie Foret	k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages.	LACL	2005	DBLP DOI BibTeX RDF
52	Marcelo da Silva Corrêa, Edward Hermann Haeusler	On the Selective Lambek Calculus.	LACL	2005	DBLP DOI BibTeX RDF
52	Wojciech Buszkowski	Lambek Grammars Based on Pregroups.	LACL	2001	DBLP DOI BibTeX RDF
49	Raffaella Bernardi, Michael Moortgat	Continuation Semantics for Symmetric Categorial Grammar.	WoLLIC	2007	DBLP DOI BibTeX RDF
49	Carlos Areces, Raffaella Bernardi	Analyzing the Core of Categorial Grammar.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	categorial type logics, display calculi, residuation, Galois connections, categorial grammar
41	Wojciech Buszkowski	Type Logics and Pregroups.	Stud Logica	2007	DBLP DOI BibTeX RDF	bilinear algebra, substructural logics, pregroup, Lambek calculus
41	Annie Foret	Pregroup Calculus as a Logic Functor.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Logic Functor, Cut Elimination, Pregroups
41	Denis Béchet, Annie Foret	Fully Lexicalized Pregroup Grammars.	WoLLIC	2007	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Simulation, Pregroups
41	Pietro Di Gianantonio	Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.	CSL	2004	DBLP DOI BibTeX RDF	cyclic linear logic, linear logic, proof theory, Lambek calculus, calculus of structures
39	Farzad Jafarrahmani	Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek).		2023	RDF
39	Oriol Valentín	The Hidden Structural Rules of the Discontinuous Lambek Calculus.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Richard Moot	Extended Lambek Calculi and First-Order Linear Logic.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Stepan L. Kuznetsov	L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Arno Bastenhof	Type Similarity for the Lambek-Grishin Calculus Revisited.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Mati Pentus	The Monotone Lambek Calculus Is NP-Complete.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Alexey Sorokin	Conjoinability in 1-Discontinuous Lambek Calculus.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Roberto Bonato, Christian Retoré	Learning Lambek Grammars from Proof Frames.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
39	Annie Foret	On Associative Lambek Calculus Extended with Basic Proper Axioms.	Categories and Types in Logic, Language, and Physics	2014	DBLP DOI BibTeX RDF
36	Antonio Frias Delgado, Jose Antonio Jimenez Millan	An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus.	JELIA	2000	DBLP DOI BibTeX RDF
36	Maciej Kandulski	Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars.	LACL	1997	DBLP DOI BibTeX RDF
36	Martin Emms	Models for Polymorphic Lambek Calculus.	LACL	1996	DBLP DOI BibTeX RDF
36	Nicolaj Casanova Abildgaard, Casper Weiss Bang, Jonas Hansen, Tobias Lambek Jacobsen, Thomas Højriis Knudsen, Nichlas Ørts Lisby, Chenjuan Guo, Bin Yang 0002	A Correlated Time Series Forecast System.	MDM	2020	DBLP DOI BibTeX RDF
36	Joachim Lambek	Logic and Grammar.	Stud Logica	2012	DBLP DOI BibTeX RDF
36	Joachim Lambek	Exploring Feature Agreement in French with Parallel Pregroup Computations.	J. Log. Lang. Inf.	2010	DBLP DOI BibTeX RDF
36	Joachim Lambek	Pregroup Grammars and Chomsky's Earliest Examples.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Computational linguistics, Categorial grammars, Pregroup grammars
36	Anne Preller, Joachim Lambek	Free compact 2-categories.	Math. Struct. Comput. Sci.	2007	DBLP DOI BibTeX RDF
36	Joachim Lambek	Should Pregroup Grammars be Adorned with Additional Operations?	Stud Logica	2007	DBLP DOI BibTeX RDF
36	Joachim Lambek	From word to sentence: a pregroup analysis of the object pronoun who ( m ).	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Computational algebraic grammar via pregroups
36	Joachim Lambek, Philip J. Scott	An Exactification of the Monoid of Primitive Recursive Functions.	Stud Logica	2005	DBLP DOI BibTeX RDF	primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers
36	Joachim Lambek	What is the world of mathematics?	Ann. Pure Appl. Log.	2004	DBLP DOI BibTeX RDF
36	Claudia Casadio, Joachim Lambek	A Tale of Four Grammars.	Stud Logica	2002	DBLP DOI BibTeX RDF
36	Joachim Lambek	Type Grammars as Pregroups.	Grammars	2001	DBLP DOI BibTeX RDF
36	Daniele Bargelli, Joachim Lambek	An Algebraic Approach to French Sentence Structure.	LACL	2001	DBLP DOI BibTeX RDF
36	Claudia Casadio, Joachim Lambek	An Algebraic Analysis of Clitic Pronouns in Italian.	LACL	2001	DBLP DOI BibTeX RDF
36	Jim Lambek	Pregroups: A New Algebraic Approach to Sentence Structure.	Recent Topics in Mathematical and Computational Linguistics	2000	DBLP BibTeX RDF
36	Joachim Lambek	Relations old and new (invited paper).	RelMiCS	1998	DBLP BibTeX RDF
36	Jim Lambek	Programs, grammars and arguments: a personal view of some connections between computation, language and logic.	Bull. Symb. Log.	1997	DBLP DOI BibTeX RDF
36	Joachim Lambek	Type Grammar Revisited.	LACL	1997	DBLP DOI BibTeX RDF
36	Joachim Lambek	Cut Elimination for Classical Bilinear Logic.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
36	Joachim Lambek	Least Fixpoints of Endofunctors of Cartesian Closed Categories.	Math. Struct. Comput. Sci.	1993	DBLP DOI BibTeX RDF
36	Joachim Lambek	Programs, grammars and arguments: a personal view of some connections between computation, language and logic	LICS	1993	DBLP DOI BibTeX RDF
36	Joachim Lambek	On some connections between logic and category theory.	Stud Logica	1989	DBLP DOI BibTeX RDF
36	Joachim Lambek	Fixpoints Revisited.	Logic at Botik	1989	DBLP DOI BibTeX RDF
36	Joachim Lambek	Cartesian Closed Categories and Typed Lambda- calculi.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
36	Joachim Lambek, Philip J. Scott	New Proofs of Some Intuitionistic Principles.	Math. Log. Q.	1983	DBLP DOI BibTeX RDF
36	Joachim Lambek, Philip J. Scott	Intuitionist type theory and foundations.	J. Philos. Log.	1981	DBLP DOI BibTeX RDF
36	Joachim Lambek	Deductive Systems and Categories I. Syntactic Calculus and Residuated Categories.	Math. Syst. Theory	1968	DBLP DOI BibTeX RDF
24	Denis Béchet, Alexander Ja. Dikovsky, Annie Foret, Emmanuelle Garel	Optional and Iterated Types for Pregroup Grammars.	LATA	2008	DBLP DOI BibTeX RDF	Lambek Categorial Grammars, Categorial Dependency Grammar, Pregroups
19	Alexis Toumi, Giovanni de Felice	Higher-Order DisCoCat (Peirce-Lambek-Montague semantics).	CoRR	2023	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Expressive Power of Hypergraph Lambek Grammars.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Multimodality in the Hypergraph Lambek Calculus.	AMSLO@ESSLLI	2023	DBLP DOI BibTeX RDF
19	Stepan L. Kuznetsov	Relational Models for the Lambek Calculus with Intersection and Constants.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Commutative Lambek Grammars.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
19	Dusko Pavlovic	Lambek pregroups are Frobenius spiders in preorders.	Compositionality	2022	DBLP DOI BibTeX RDF
19	Michael Kaminski	Extending the Lambek Calculus with Classical Negation.	Stud Logica	2022	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Grammars over the Lambek Calculus with Permutation: Recognizing Power and Connection to Branching Vector Addition Systems with States.	CoRR	2022	DBLP DOI BibTeX RDF
19	Stepan L. Kuznetsov	Relational Models for the Lambek Calculus with Intersection and Constants.	CoRR	2022	DBLP DOI BibTeX RDF
19	Niccolò Veltri	Normalization by Evaluation for the Lambek Calculus.	NCL	2022	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	From Double Pushout Grammars to Hypergraph Lambek Grammars With and Without Exponential Modality.	TERMGRAPH@FSCD	2022	DBLP DOI BibTeX RDF
19	Dusko Pavlovic, Dominic J. D. Hughes	Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell.	CoRR	2022	DBLP DOI BibTeX RDF
19	Peng Fu 0001, Kohei Kishida, Neil J. Ross, Peter Selinger	On the Lambek embedding and the category of product-preserving presheaves.	CoRR	2022	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Hypergraph Lambek grammars.	J. Log. Algebraic Methods Program.	2022	DBLP DOI BibTeX RDF
19	Sergey Slavnov	On embedding Lambek calculus into commutative categorial grammars.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
19	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Language models for some extensions of the Lambek calculus.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
19	Cosimo Perini Brogi	Curry-Howard-Lambek Correspondence for Intuitionistic Belief.	Stud Logica	2021	DBLP DOI BibTeX RDF
19	Igor Sedlár, Andrew Tedder	Correction to: Lambek Calculus with Conjugates.	Stud Logica	2021	DBLP DOI BibTeX RDF
19	Igor Sedlár, Andrew Tedder	Lambek Calculus with Conjugates.	Stud Logica	2021	DBLP DOI BibTeX RDF
19	Dusko Pavlovic	Lambek pregroups are Frobenius spiders in preorders.	CoRR	2021	DBLP BibTeX RDF
19	Lachlan McPheat, Hadi Wazni, Mehrnoosh Sadrzadeh	Vector Space Semantics for Lambek Calculus with Soft Subexponentials.	CoRR	2021	DBLP BibTeX RDF
19	Tikhon Pshenitsyn	Cyclic Shift in the Lambek Calculus.	CoRR	2021	DBLP BibTeX RDF
19	Tikhon Pshenitsyn	Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus.	CoRR	2021	DBLP BibTeX RDF
19	Lachlan McPheat, Gijs Wijnholds, Mehrnoosh Sadrzadeh, Adriana Correia, Alexis Toumi	Anaphora and Ellipsis in Lambek Calculus with a Relevant Modality: Syntax and Semantics.	CoRR	2021	DBLP BibTeX RDF
19	Hiroyoshi Komatsu	The Logic for a Mildly Context-Sensitive Fragment of the Lambek-Grishin Calculus.	CoRR	2021	DBLP BibTeX RDF
19	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
19	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.	J. Log. Lang. Inf.	2021	DBLP DOI BibTeX RDF
19	Stepan L. Kuznetsov	Complexity of the Infinitary Lambek Calculus with Kleene Star.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
19	Stepan L. Kuznetsov	Relational Models for the Lambek Calculus with Intersection and Unit.	RAMiCS	2021	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Lambek Calculus with Optional Divisions.	ESSLLI Student Sessions	2021	DBLP DOI BibTeX RDF
19	Tikhon Pshenitsyn	Powerful and NP-Complete: Hypergraph Lambek Grammars.	ICGT	2021	DBLP DOI BibTeX RDF
19	Valentin D. Richard	Traduction des Grammaires Catégorielles de Lambek dans les Grammaires Catégorielles Abstraites.	CoRR	2020	DBLP BibTeX RDF
19	Giuseppe Greco 0001, Valentin D. Richard, Michael Moortgat, Apostolos Tzimoulis	Lambek-Grishin Calculus: Focusing, Display and Full Polarization.	CoRR	2020	DBLP BibTeX RDF
19	Sergey Slavnov	On embedding Lambek calculus into commutative categorial grammars.	CoRR	2020	DBLP BibTeX RDF
19	Christian Retoré	Pomset logic: a logical and grammatical alternative to the Lambek calculus.	CoRR	2020	DBLP BibTeX RDF