A Calculus for Direct Deduction with Dominance Constraints

Authors

  • Jan Jaspars University of Amsterdam Author
  • Alexander Koller University of Saarland Author

Abstract

Underspecification has become 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. We instantiate an abstract approach to direct deduction to dominance constraints, a concrete underspecification formalism, and obtain a sounds and complete calculus.

Downloads

Download data is not yet available.

Published

1999-12-01

Issue

1999: Proceedings of the 12th Amsterdam Colloquium

Section

Conference Proceedings

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Jaspars, J., & Koller, A. (1999). A Calculus for Direct Deduction with Dominance Constraints. Proceedings of the Amsterdam Colloquium, 145-150. https://platform.openjournals.nl/PAC/article/view/23407