- 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
|
|
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
|
|
Learning categorial grammar by unification with negative constraints.Jacek Marciniec - 1994 - Journal of Applied Non-Classical Logics 4 (2):181-200.details
|
|
Partial monotonic protothetics.François Lepage - 2000 - Studia Logica 66 (1):147-163.details
|
|
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments.Stepan Kuznetsov, Valentina Lugovaya & Anastasiia Ryzhova - 2019 - Logic Journal of the IGPL 27 (3):252-266.details
|
|
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.details
|
|
A remark on collective quantification.Juha Kontinen & Jakub Szymanik - 2008 - Journal of Logic, Language and Information 17 (2):131-140.details
|
|
Powerset residuated algebras and generalized Lambek calculus.Miroslawa Kolowska-Gawiejnowicz - 1997 - Mathematical Logic Quarterly 43 (1):60-72.details
|
|
A Labelled Deductive System for Relational Semantics of the Lambek Calculus.Miroslawa Kolowska-Gawiejnowicz - 1999 - Mathematical Logic Quarterly 45 (1):51-58.details
|
|
Proof nets and the complexity of processing center embedded constructions.Mark Johnson - 1998 - Journal of Logic, Language and Information 7 (4):433-447.details
|
|
A resource sensitive interpretation of lexical functional grammar.Mark Johnson - 1999 - Journal of Logic, Language and Information 8 (1):45-81.details
|
|
Inclusion and Exclusion in Natural Language.Thomas F. Icard - 2012 - Studia Logica 100 (4):705-725.details
|
|
Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.details
|
|
Can every modifier be treated as a sentence modifier?Lloyd Humberstone - 2008 - Philosophical Perspectives 22 (1):241-275.details
|
|
Number determiners, numbers, and arithmetic.Thomas Hofweber - 2005 - Philosophical Review 114 (2):179-225.details
|
|
Book review. [REVIEW]John Hale - 2007 - Journal of Logic, Language and Information 16 (2):217-220.details
|
|
Semantics and truth relative to a world.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.details
|
|
Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.details
|
|
Semantic bootstrapping of type-logical grammar.Sean A. Fulop - 2004 - Journal of Logic, Language and Information 14 (1):49-86.details
|
|
Grammar induction by unification of type-logical lexicons.Sean A. Fulop - 2010 - Journal of Logic, Language and Information 19 (3):353-381.details
|
|
Bisimulations and predicate logic.Tim Fernando - 1994 - Journal of Symbolic Logic 59 (3):924-944.details
|
|
Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.details
|
|
A dilemma for Priest's dialethism?Anthony Everett - 1996 - Australasian Journal of Philosophy 74 (4):657 – 668.details
|
|
Demonstratives as individual concepts.Paul Elbourne - 2008 - Linguistics and Philosophy 31 (4):409-466.details
|
|
E-Type Anaphora as NP-Deletion.Paul Elbourne - 2001 - Natural Language Semantics 9 (3):241-288.details
|
|
Úvod do teoretické sémantiky.Jaroslav Peregrin - manuscriptdetails
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.Bob Coecke, David J. Moore & Sonja Smets - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 527--555.details
|
|
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Logic in Philosophy.Johan van Benthem - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: pp. 65-99.details
|
|
A Brief History of Natural Logic.Johan van Benthem - unknowndetails
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
Interpolation, preservation, and pebble games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881-903.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.details
|
|
Dynamická sémantika a dynamická logika.Jaroslav Peregrin - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (4):333-348.details
|
|
New directions for proof theory in linguistics. ESSLLI 2007 course reader.Anna Szabolcsi & Chris Barker - manuscriptdetails
|
|
Separating syntax and combinatorics in categorial grammar.Reinhard Muskens - 2007 - Research on Language and Computation 5 (3):267-285.details
|
|
Type shifting with semantic features: A unified perspective.Yoad Winter - 2007 - In Chris Barker & Pauline I. Jacobson (eds.), Direct Compositionality. Oxford University Press. pp. 164.details
|
|