Logical Aspects of Computational Linguistics

s of Invited Talks Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

[1]  Mark Steedman,et al.  The syntactic process , 2004, Language, speech, and communication.

[2]  James Pustejovsky,et al.  The Generative Lexicon , 1995, CL.

[3]  Jason Baldridge,et al.  Multi-Modal Combinatory Categorial Grammar , 2003, EACL.

[4]  Tadao Kasami,et al.  On Multiple Context-Free Grammars , 1991, Theor. Comput. Sci..

[5]  William C. Purdy,et al.  A Logic for Natural Language , 1991, Notre Dame J. Formal Log..

[6]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[7]  Seymour Ginsburg,et al.  Two Families of Languages Related to ALGOL , 1962, JACM.

[8]  Giorgio Satta,et al.  The Importance of Rule Restrictions in CCG , 2010, ACL.

[9]  Timothy A. D. Fowler,et al.  Categorial Grammar: Logical Syntax, Semantics, and Processing Glyn V. Morrill (Universitat Politècnica de Catalunya)Oxford: Oxford University Press, 2011, xv+236 pp; hardbound, ISBN 978-0-19-958985-2, £ 80.00, $150.00; paperbound, ISBN 978-0-19-958986-9, £ 29.99, $55.00 , 2011, Computational Linguistics.

[10]  Dag Prawitz,et al.  On the idea of a general proof theory , 1974, Synthese.

[11]  Alexander Clark,et al.  Learning Context Free Grammars with the Syntactic Concept Lattice , 2010, ICGI.

[12]  Sylvain Salvati,et al.  of Third Order , 2012 .

[13]  Ryo Yoshinaka,et al.  Efficient learning of multiple context-free languages with multidimensional substitutability from positive data , 2011, Theor. Comput. Sci..

[14]  Dag Prawitz,et al.  Towards A Foundation of A General Proof Theory , 1973 .

[15]  Joachim Lambek,et al.  Type Grammar Revisited , 1997, LACL.

[16]  Stanley Peters,et al.  Quantifiers in language and logic , 2006 .

[17]  Jan van Eijck,et al.  Natural Logic for Natural Language , 2007, TbiLLC.

[18]  J. Benthem.  Essays in Logical Semantics , 1986 .

[19]  Alexander Clark,et al.  The syntactic concept lattice: Another algebraic theory of the context-free languages? , 2015, J. Log. Comput..

[20]  Fernando Pereira,et al.  The Semantics of Grammar Formalisms Seen as Computer Languages , 1984, ACL.

[21]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[22]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[23]  J. Lambek.  The Mathematics of Sentence Structure , 1958 .

[24]  Erik Poll,et al.  Pure Type Systems with Definitions , 1994, LFCS.