posted by user: godag || 2871 views || tracked by 6 users: [display]

JoLLI Special Issue 2008 : Journal of Logic, Lanugage and Information, Special Issue on New Directions in Type-theoretic Grammar

FacebookTwitterLinkedInGoogle

Link: http://www.elsnet.org/cgi-bin/elsnet/showevent.pl?01Nov2007-12u50.24.html
 
When N/A
Where N/A
Submission Deadline Feb 1, 2008
Notification Due Apr 1, 2008
Categories    logic   linguistics   NLP
 

Call For Papers

JoLLI Special Issue on New Directions in Type-theoretic Grammars
GUEST EDITOR: REINHARD MUSKENS

In 1961 Haskell Curry published his by now famous paper on
'Some Logical Aspects of Grammatical Structure'. In this paper he
makes a distinction between the 'tectogrammatics' and
'phenogrammatics' of language (a distinction similar to that between
abstract syntax and concrete syntax in compiler theory). The
tectogrammatics of an expression reflects the way in which the
expression is /built/, while the phenogrammatics is the way it
/appears/. On the basis of this distinction Curry argues
against directionality in the type system used for language
description. In 1953 Bar-Hillel had introduced a distinction between
categories seeking material to their right and categories seeking
material to the left, a distinction that was taken over in Lambek's
(1956) pivotal work on categorial grammar, but in Curry's
architecture phenogrammatic structure can take care of word order,
making directionality unnecessary.

While Curry's insights never quite made it into the mainstream of
type-theoretic grammar, they have for a long time formed an
important undercurrent. Recently this undercurrent has surfaced and
since the turn of the century there has been a heightened activity
within a series of type-theoretical formalisms that could be called
"Curryesque". These formalisms, which bear a family resemblance to
each other, adopt the pheno/tecto distinction and undirectedness in
one way or another and claim various descriptive and formal
advantages over more traditional approaches.

Such Curryesque approaches to type-theoretic grammar were the topic
of a recent interdisciplinary workshop held in Dublin as part of the
European Summer School on Logic, Language and Information (ESSLLI)
2007 (see http://let.uvt.nl/general/people/rmuskens/ndttg/ for
more information). In the wake of this workshop there will be a
special issue of the Journal of Logic, Language, and
Information on new directions in type-theoretic grammars. We invite
papers on all logical, linguistic, and computational aspects of
type-theoretic grammars in which the pheno/tecto distinction plays a
prominent role. Papers combining linguistic considerations with
more formal ones are especially welcome.


Submission Format

Contributions should be submitted electronically to Reinhard
Muskens, email: r.a.muskens@uvt.nl. Authors are strongly encouraged
to prepare their contribution with the help of LaTeX, making use of
the Journal's style file. Papers should not exceed 20 pages and can
be excluded if they do. However, good papers for which there is no
room in the special issue will be recommended to the Managing Editor
for publication in other issues.


Important Dates

Submission deadline: 1 February 2008
Referee reports due: 1 April 2008
Final version due: 1 June 2008
Publication date: Autumn 2008

Related Resources

CISDM 2020   2020 2nd Euro-Asia Conference on Information System and Data Mining (CISDM 2020)
AICA 2020   O'Reilly AI Conference San Jose
FCSIT 2020   2020 2nd Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
EACL 2021   The 16th Conference of the European Chapter of the Association for Computational Linguistics
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus
IJCCSA 2020   International Journal on Cloud Computing: Services and Architecture
ICLP 2020   The 36th International Conference on Logic Programming
CLSB 2020   International Conference on Cloud Computing, Security and Blockchain
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICALP 2020   47th International Colloquium on Automata, Languages and Programming