1995/05/05 by Pablo Gervás, Gervas, Pablo
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Semantic Web and Ontologies
paper · pdf · doi:10.48550/arxiv.cmp-lg/9505014
openalex publication_date 1995/05/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 … then, \em and and \em or. The advantages of this method over existing frameworks for presuppositions are discussed.