- Epistemic closure and commutative, nonassociative residuated structures.Sebastian Sequoiah-Grayson - 2013 - Synthese 190 (1):113-128.details
|
|
Product-free lambek calculus is NP-complete.Yury Savateev - 2012 - Annals of Pure and Applied Logic 163 (7):775-788.details
|
|
Introduction.Christian Retoré - 1998 - Journal of Logic, Language and Information 7 (4):395-398.details
|
|
Collection Frames for Distributive Substructural Logics.Greg Restall & Shawn Standefer - 2023 - Review of Symbolic Logic 16 (4):1120-1157.details
|
|
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.details
|
|
On contextual domain restriction in categorial grammar.Erich H. Rast - 2013 - Synthese 190 (12):2085-2115.details
|
|
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.details
|
|
Intuitionistic categorial grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.details
|
|
Incremental Composition in Distributional Semantics.Matthew Purver, Mehrnoosh Sadrzadeh, Ruth Kempson, Gijs Wijnholds & Julian Hough - 2021 - Journal of Logic, Language and Information 30 (2):379-406.details
|
|
Toward discourse representation via pregroup grammars.Anne Preller - 2007 - Journal of Logic, Language and Information 16 (2):173-194.details
|
|
Semantic Vector Models and Functional Models for Pregroup Grammars.Anne Preller & Mehrnoosh Sadrzadeh - 2011 - Journal of Logic, Language and Information 20 (4):419-443.details
|
|
Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.details
|
|
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Monoidal logics: completeness and classical systems.Clayton Peterson - 2019 - Journal of Applied Non-Classical Logics 29 (2):121-151.details
|
|
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.details
|
|
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.details
|
|
Models for the Lambek calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.details
|
|
On the completeness of the Lambek calculus with respect to relativized relational semantics.Nikolai Pankrat'ev - 1994 - Journal of Logic, Language and Information 3 (3):233-246.details
|
|
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.details
|
|
The competence-performance distinction in mental philosophy.Raymond J. Nelson - 1978 - Synthese 39 (November):337-382.details
|
|
Infinity and the foundations of linguistics.Ryan M. Nefdt - 2019 - Synthese 196 (5):1671-1711.details
|
|
New directions in type-theoretic grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.details
|
|
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.details
|
|
The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.details
|
|
Parsing/Theorem-Proving for Logical Grammar CatLog3.Glyn Morrill - 2019 - Journal of Logic, Language and Information 28 (2):183-216.details
|
|
Intensionality and boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.details
|
|
Grammar logicised: relativisation.Glyn Morrill - 2017 - Linguistics and Philosophy 40 (2):119-163.details
|
|
Grammar and logic.Glyn Morrill - 1996 - Theoria 62 (3):260-293.details
|
|
Discontinuity in categorial grammar.Glyn Morrill - 1995 - Linguistics and Philosophy 18 (2):175 - 219.details
|
|
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.details
|
|
Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.details
|
|
Multimodal linguistic inference.Michael Moortgat - 1996 - Journal of Logic, Language and Information 5 (3-4):349-385.details
|
|
Logical Foundations for Hybrid Type-Logical Grammars.Richard Moot & Symon Jory Stevens-Guille - 2022 - Journal of Logic, Language and Information 31 (1):35-76.details
|
|
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.details
|
|
Dynamic dependency grammar.David Milward - 1994 - Linguistics and Philosophy 17 (6):561 - 605.details
|
|
The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.details
|
|
On representable ordered residuated semigroups.Szabolcs Mikulás - 2011 - Logic Journal of the IGPL 19 (1):233-240.details
|
|
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.Szabolcs Mikulás - 2015 - Studia Logica 103 (3):453-478.details
|
|
Ternary relations and relevant semantics.Robert K. Meyer - 2004 - Annals of Pure and Applied Logic 127 (1-3):195-217.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
Should Pregroup Grammars be Adorned with Additional Operations?Joachim Lambek - 2007 - Studia Logica 87 (2-3):343-358.details
|
|
Logic and Grammar.Joachim Lambek - 2012 - Studia Logica 100 (4):667-681.details
|
|
From word to sentence: A pregroup analysis of the object pronoun who ( M ). [REVIEW]J. Lambek - 2007 - Journal of Logic, Language and Information 16 (3):303-323.details
|
|
An Extension of the Formulas-as-Types Paradigm.J. Lambek - 1997 - Dialogue 36 (1):33-.details
|
|
Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.details
|
|
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.details
|
|
Infinitary Action Logic with Multiplexing.Stepan L. Kuznetsov & Stanislav O. Speranski - 2023 - Studia Logica 111 (2):251-280.details
|
|
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.details
|
|
Against ellipsis: arguments for the direct licensing of ‘noncanonical’ coordinations.Yusuke Kubota & Robert Levine - 2015 - Linguistics and Philosophy 38 (6):521-576.details
|
|