Switch to: References

Add citations

You must login to add citations.
  1. The Soundness of Internalized Polarity Marking.Lawrence S. Moss - 2012 - Studia Logica 100 (4):683-704.
    This paper provides a foundation for the polarity marking technique introduced by David Dowty [3] in connection with monotonicity reasoning in natural language and in linguistic analyses of negative polarity items based on categorial grammar. Dowty's work is an alternative to the better-known algorithmic approach first proposed by Johan van Benthem [11], and elaborated by Víctor Sánchez Valencia [10]. Dowty's system internalized the monotonicity/polarity markings by generating strings using a categorial grammar whose categories already contain the markings that the earlier (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Natural Logic for Textual Inference.Christopher D. Manning - unknown
    This paper presents the first use of a computational model of natural logic—a system of logical inference which operates over natural language—for textual inference. Most current approaches to the PAS- CAL RTE textual inference task achieve robustness by sacrificing semantic precision; while broadly effective, they are easily confounded by ubiquitous inferences involving monotonicity. At the other extreme, systems which rely on first-order logic and theorem proving are precise, but excessively brittle. This work aims at a middle way. Our system finds (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  • New Directions for Proof Theory in Linguistics. ESSLLI 2007 Course Reader.Anna Szabolcsi & Chris Barker - manuscript
  • Inclusion and Exclusion in Natural Language.Thomas F. Icard - 2012 - Studia Logica 100 (4):705-725.
    We present a formal system for reasoning about inclusion and exclusion in natural language, following work by MacCartney and Manning. In particular, we show that an extension of the Monotonicity Calculus, augmented by six new type markings, is sufficient to derive novel inferences beyond monotonicity reasoning, and moreover gives rise to an interesting logic of its own. We prove soundness of the resulting calculus and discuss further logical and linguistic issues, including a new connection to the classes of weak, strong, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • An Analytic Tableau System for Natural Logic.Reinhard Muskens - 2010 - In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104-113.
    Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...)
    Direct download  
     
    Export citation  
     
    Bookmark