- Classical Non-Associative Lambek Calculus.Philippe De Groote & François Lamarche - 2002 - Studia Logica 71 (3):355 - 388.details
|
|
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.details
|
|
Global index grammars and descriptive power.José M. Castaño - 2004 - Journal of Logic, Language and Information 13 (4):403-419.details
|
|
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.details
|
|
Types as graphs: Continuations in type logical grammar. [REVIEW]Chris Barker & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (4):331-370.details
|
|
Continuations and the Nature of Quantification.Chris Barker - 2002 - Natural Language Semantics 10 (3):211-242.details
|
|
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic.V. Michele Abrusci - 1991 - Journal of Symbolic Logic 56 (4):1403-1451.details
|
|
Essays in Logical Semantics.John Hawthorn - 1986 - Springer.details
|
|
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.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
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms.Philippe Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
Substructural logics on display.R. Goré - 1998 - Logic Journal of the IGPL 6 (3):451-504.details
|
|
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary Hardegree - 2001 - Oxford, England: Oxford University Press UK.details
|
|
Language in Action: Categories, Lambdas and Dynamic Logic.Johan van Benthem - 1995 - MIT Press.details
|
|
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.details
|
|
Continuations and Natural Language.Chris Barker & Chung-Chieh Shan - 2014 - Oxford University Press.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.details
|
|
Mathematical linguistics and proof theory.Wojciech Buszkowski - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.details
|
|
Donkey anaphora is in-scope binding.C. C. Shan & C. Barker - 2008 - Semantics and Pragmatics 1:91-134.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.details
|
|