- A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.details
|
|
Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.details
|
|
Introduction.Christian Retoré - 1998 - Journal of Logic, Language and Information 7 (4):395-398.details
|
|
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.details
|
|
Non-associative Lambek calculus with modalities: interpolation, complexity and FEP.Z. Lin - 2014 - Logic Journal of the IGPL 22 (3):494-512.details
|
|
A rule-extension of the non-associative Lambek calculus.Heinrich Wansing - 2002 - Studia Logica 71 (3):443-451.details
|
|
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.details
|
|
Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.details
|
|
(1 other version)A faithful representation of non-associative Lambek grammars in abstract categorial grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic Language and Information 19 (2):185-200.details
|
|
(1 other version)A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic, Language and Information 19 (2):185-200.details
|
|
Logical and philosophical ideas in certain formal approaches to language.Urszula Wybraniec-Skardowska - 1998 - Synthese 116 (2):231-277.details
|
|
The Philosophy of Bernard Bolzano: Logic and Ontology.Raul Corazzon - unknowndetails
|
|
New directions for proof theory in linguistics. ESSLLI 2007 course reader.Anna Szabolcsi & Chris Barker - manuscriptdetails
|
|
On the logic of β -pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323 - 342.details
|
|
Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.details
|
|
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.details
|
|
Grammar and logic.Glyn Morrill - 1996 - Theoria 62 (3):260-293.details
|
|
Complexity of the Lambek Calculus and Its Fragments.Mati Pentus - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 310-329.details
|
|
On the Logic of β-pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323-342.details
|
|
Dependency grammar.Geert-Jan M. Kruijff - 2005 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier. pp. 444--450.details
|
|
Infinitary Action Logic: Complexity, Models and Grammars.Wojciech Buszkowski & Ewa Palka - 2008 - Studia Logica 89 (1):1-18.details
|
|
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.details
|
|
Learnability of Pregroup Grammars.Denis Béchet, Annie Foret & Isabelle Tellier - 2007 - Studia Logica 87 (2-3):225-252.details
|
|