- 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
|
|
Aspecto-Temporal Meanings Analysed by Combinatory Logic.Jean-Pierre Desclés, Anca Christine Pascu & Hee-Jin Ro - 2014 - Journal of Logic, Language and Information 23 (3):253-274.details
|
|
Dependency grammar.Geert-Jan M. Kruijff - 2005 - In Keith Brown (ed.), Encyclopedia of Language and Linguistics. Elsevier. pp. 444--450.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
|
|
Agnostic hyperintensional semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.details
|
|
Full Lambek Calculus in natural deduction.Ernst Zimmermann - 2010 - Mathematical Logic Quarterly 56 (1):85-88.details
|
|
Bound variables in syntax (Are there any?).Anna Szabolcsi - 1987 - In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amserdam.details
|
|
An Extension of the Formulas-as-Types Paradigm.J. Lambek - 1997 - Dialogue 36 (1):33-.details
|
|
Head or tail? de morgan on the bounds of traditional logic.Víctor Sánchez Valencia - 1997 - History and Philosophy of Logic 18 (3):123-138.details
|
|
Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.details
|
|
Constructions and concepts.Jaroslav Peregrin - manuscriptdetails
|
|
Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science. pp. 33-65.details
|
|
Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. CSLI Publications. pp. 259-279.details
|
|
Optionality, scope, and licensing: An application of partially ordered categories.Raffaella Bernardi & Anna Szabolcsi - 2008 - Journal of Logic, Language and Information 17 (3):237-283.details
|
|
Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.details
|
|
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
Gapping as constituent coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.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
|
|
Discontinuity in categorial grammar.Glyn Morrill - 1995 - Linguistics and Philosophy 18 (2):175 - 219.details
|
|
On the logic of β -pregroups.Aleksandra Kiślak-Malinowska - 2007 - Studia Logica 87 (2-3):323 - 342.details
|
|
Identification in the limit of categorial grammars.Makoto Kanazawa - 1996 - Journal of Logic, Language and Information 5 (2):115-155.details
|
|
Substructural logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.details
|
|
Raising as function composition.Pauline Jacobson - 1990 - Linguistics and Philosophy 13 (4):423 - 475.details
|
|
Book review. [REVIEW]John Hale - 2007 - Journal of Logic, Language and Information 16 (2):217-220.details
|
|
Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.details
|
|
Categorial grammar and the semantics of contextual prepositional phrases.Nissim Francez & Mark Steedman - 2006 - Linguistics and Philosophy 29 (4):381 - 417.details
|
|
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.details
|
|
Efficiency of pregroups and the French noun phrase.Sylvain Degeilh & Anne Preller - 2005 - Journal of Logic, Language and Information 14 (4):423-444.details
|
|
Parasitic scope.Chris Barker - 2007 - Linguistics and Philosophy 30 (4):407-444.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Collection Frames for Distributive Substructural Logics.Greg Restall & Shawn Standefer - 2023 - Review of Symbolic Logic 16 (4):1120-1157.details
|
|
Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.details
|
|
Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Torontodetails
|
|
AI-Completeness: Using Deep Learning to Eliminate the Human Factor.Kristina Šekrst - 2020 - In Sandro Skansi (ed.), Guide to Deep Learning Basics. Springer. pp. 117-130.details
|
|
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.Max Kanovich, Stepan Kuznetsov & Andre Scedrov - 2020 - Journal of Logic, Language and Information 30 (1):31-88.details
|
|
On Metaknowledge and Truth.Wybraniec-Skardowska Urszula - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 319-243.details
|
|
The Case for Comparability.Cian Dorr, Jacob M. Nebel & Jake Zuehl - 2023 - Noûs 57 (2):414-453.details
|
|
Infinity and the foundations of linguistics.Ryan M. Nefdt - 2019 - Synthese 196 (5):1671-1711.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.details
|
|
On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.details
|
|
Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).details
|
|
O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).details
|
|
Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.details
|
|
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.details
|
|
Grammar logicised: relativisation.Glyn Morrill - 2017 - Linguistics and Philosophy 40 (2):119-163.details
|
|
A comparison between monoidal and substructural logics.Clayton Peterson - 2016 - Journal of Applied Non-Classical Logics 26 (2):126-159.details
|
|
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.details
|
|