Aim and Topics
Tutorial Lecture
Important Dates
Organizing Committee
LENLS archives

Logic and Engineering of Natural Language Semantics 10 (LENLS 10)

Workshop Site:Raiousha Building, Keio University
Kanagawa, Japan
Dates: October 26-28, 2013
  • Shunsuke Yatabe (West Japan Railway Company)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
  • Eric McCready (Aoyama Gakuin University)
Invited Speakers:
  • Nicholas J.J. Smith (the University of Sydney)
  • Richard Dietz (the University of Tokyo)

Aim and Topics

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) sponsored by the Japan Society for Artificial Intelligence (JSAI).

We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following:

  • Dynamic syntax/semantics/pragmatics of natural language
  • Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics
  • Logic and its relation to natural language and linguistic reasoning (especially dynamic logics)
  • Type-theoretic approaches to natural language
  • Formal Philosophy of language
  • Formal pragmatics (especially game-theoretic and utility-theoretic approaches)
  • Substructural expansion of Lambek Lambda Calculi
  • Many-valued/Fuzzy and other non-classical logics and natural language

Selected Papers

We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag).

Important dates:

Abstract submission deadline:August 4, 2013
Notification of acceptance:August 26, 2013
Deadline for camera-ready copy:September 23, 2013
Deadline for onsite registration:October 10, 2013
Tutorial Lecture:October 26, 2013
LENLS10:October 27-28, 2013


The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until 10th October 2013.


October 27th (Sun), 2013

9:00-9:20 Reception and Coffee Break
9:20-9:30 Opening Remarks
9:30-11:30 Session 1
  • Takeshi Yamada
  • "On Dummett's Critique of Davidsonian Theory of Meaning"
  • Hidenori Kurokawa
  • "Hypersequent calculi for modal logics extending S4"
  • Yoshihiro Maruyama
  • "Quantum Linguistics: From Philosophy of Language to Logic of Quantum Vagueness"
  • Jiri Marsik and Maxime Amblard
  • "Integration of Multiple Constraints in ACG"
11:30-13:00 Lunch
13:00-14:30 Session 2
  • Daisuke Bekki
  • "A Type-theoretic Approach to Double Negation Elimination in Anaphora"
  • Ribeka Tanaka, Yuki Nakano and Daisuke Bekki
  • "Constructive Generalized Quantifiers Revisited"
  • Laurence Danlos, Philippe De Groote and Sylvain Pogodalla
  • "A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars"
14:30-14:45 Coffee break
14:45-16:15 Session 3
  • David Etlin
  • "Conditionals, Modals and Iteration"
  • Hanako Yamamoto and Daisuke Bekki
  • "First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences"
  • Chi-Yen Liu and Linton Wang
  • "From 3-valued semantics, Adams' thesis rises"
16:15-16:45 Coffee break
16:45-17:45 Invited Talk 1
  • Nicholas J.J. Smith
  • "Vagueness, Counting and Cardinality"
17:45-18:15 Questions and Comments
19:00- Banquet

October 28th (Mon), 2013

9:00-9:30 Reception
9:30-11:30 Session 1
  • Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono and Noriko Arai
  • "World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps be-tween knowledge resources and natural language texts"
  • Marc Vincent and Gre'goire Winterstein
  • "Argumentative insights from an opinion classification task on a French corpus"
  • Bruno Mery, Richard Moot and Christian Retore
  • "Plurals: individuals and sets in a richly typed semantics"
  • Yasuo Nakayama
  • "Analyzing Speech Acts based on Dynamic Normative Logic"
11:30-13:00 Lunch
13:00-15:00 Session 2
  • Yoshiki Mori and Hitomi Hirayama
  • "Bare plurals in the left periphery in German and Italian"
  • Christopher Davis
  • "Building Rhetorical Questions in Japanese"
  • Wataru Uegaki
  • "Predicting the distribution of exhaustive inference in a QUD model"
  • Matthijs Westera
  • "Exhaustivity through the maxim of relation"
15:00-15:15 Coffee break
15:15-16:45 Session 3
  • Daniel Gutzmann
  • "Compositional multidimensionality and the lexicon-semantics interface"
  • Nicholas Asher, Cedric Degremont and Antoine Venant
  • "Semantic Similarity -- Extended Abstract"
  • Eric Mccready and Nicholas Asher
  • "Discourse-level Politeness and Implicature"
16:45-17:00 Coffee break
17:00-18:00 Invited Talk 2
  • Richard Dietz
  • "The Possibility of Vagueness"
18:00-18:30 Questions and Comments


  • Satoru Suzuki
  • "Averages, Comparisons, Contextual Definitions and Meaningfulness"

Tutorial Lecture

On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University.


Nicholas J.J. Smith (The University of Sydney)


Ochanomizu University, Faculty of Science, Building 3, Room 207-209 (2nd Floor)

Time Table

10:00-12:00Session 1
14:00-16:00Session 2


Vagueness and Fuzzy Logic


The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting).

I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism).

II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth.

III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches.

IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given.

V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness.

Organizing/Program Committee:

  • Shunsuke Yatabe (West Japan Railway Company)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
  • Alastair Butler (PRESTO JST/Tohoku University)
  • Eric McCready (Aoyama Gakuin University)
  • Koji Mineshima (Keio University)
  • Yoshiki Mori (University of Tokyo)
  • Yasuo Nakayama (Osaka University)
  • Katsuhiko Sano (Japan Advanced Institute of Science and Technology)
  • Katsuhiko Yabushita (Naruto University of Education)
  • Tomoyuki Yamada (Hokkaido University)
  • Kei Yoshimoto (Tohoku University)