Compositionality for Presuppositions over Tableaux

Details Compositionality for Presuppositions over Tableaux Compositionality for Presuppositions over Tableaux

1995-05-05

arxiv.org/abs/cmp-lg/9505014v1

Computer Science

Computation and Language

Scientific paper

Tableaux originate as a decision method for a logical language. They can also be extended to obtain a structure that spells out all the information in a set of sentences in terms of truth value assignments to atomic formulas that appear in them. This approach is pursued here. Over such a structure, compositional rules are provided for obtaining the presuppositions of a logical statement from its atomic subformulas and their presuppositions. The rules are based on classical logic semantics and they are shown to model the behaviour of presuppositions observed in natural language sentences built with {\em if \ldots then}, {\em and} and {\em or}. The advantages of this method over existing frameworks for presuppositions are discussed.

Affiliated with

Also associated with

No associations

Rating

Compositionality for Presuppositions over Tableaux does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Compositionality for Presuppositions over Tableaux, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Compositionality for Presuppositions over Tableaux will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702116