A Calculus for Direct Deduction with Dominance Constraints

Jan Jaspars and Alexander Koller

Proceedings of the Twelfth Amsterdam Colloquium, Amsterdam, 1999.

Underspecification has recently been a popular approach to dealing with ambiguity. An important operation in this context is direct deduction, deduction on underspecified descriptions which is justified by the meaning of the described formulae. Here we instantiate an abstract approach to direct deduction to dominance constraints, a concrete underspecification formalism, and obtain a sound and complete calculus for this formalism.

Download: Download (60 K)

BibTex Entry

@InProceedings{JasKol99, 
   author = {Jan Jaspars and Alexander Koller}, 
   title  = {A Calculus for Direct Deduction with Dominance 
             Constraints}, 
   year   = 1999, 
   booktitle = {Proceedings of the Twelfth Amsterdam Colloquium}, 
   address = {Amsterdam} 
} 

Back: Publications