Skip to Main content Skip to Navigation
Conference papers

Exploring a type-theoretic approach to accessibility constraint modelling

Sylvain Pogodalla 1 
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The type-theoretic modelling of DRT that [degroote06] proposed features continuations for the management of the context in which a clause has to be interpreted. This approach, while keeping the standard definitions of quantifier scope, translates the rules of the accessibility constraints of discourse referents inside the semantic recipes. In this paper, we deal with additional rules for these accessibility constraints. In particular in the case of discourse referents introduced by proper nouns, that negation does not block, and in the case of rhetorical relations that structure discourses. We show how this continuation-based approach applies to those accessibility constraints and how we can consider the parallel management of various principles.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download
Contributor : Sylvain Pogodalla Connect in order to contact the contributor
Submitted on : Thursday, May 22, 2008 - 10:43:56 AM
Last modification on : Friday, February 4, 2022 - 3:30:56 AM
Long-term archiving on: : Friday, May 28, 2010 - 5:57:00 PM


Files produced by the author(s)


  • HAL Id : inria-00281381, version 1
  • ARXIV : 0805.3410



Sylvain Pogodalla. Exploring a type-theoretic approach to accessibility constraint modelling. Journées Sémantiques et Modélisation, Apr 2008, Toulouse, France. ⟨inria-00281381⟩



Record views


Files downloads