Studies on Natural Logic and Categorial Grammar

By V. Sánchez. 1991

Subfields: Computational Linguistics & Semantics

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Linguistics & Semantics

Citations in the corpus

ProoFVer: Natural Logic Theorem Proving for Fact Verification (2021, background): “NatLog (MacCartney and Manning, 2007), building on earlier theoretical work on natural logic and monotonicity calculus (Van Benthem, 1986; Valencia, 1991), uses natural logic for textual inference.”
An extended model of natural logic (2009, background): “It was revived in recent times by van Benthem (1988; 1991) and S´anchez Valencia (1991), whose monotonicity calculus explains inferences involving semantic containment and inversions of monotonicity, even when nested, as in Nobody can enter without a valid passport | = Nobody can enter without a…”
Natural Logic and Natural Language Inference (2014, background): “It was revived in recent times by van Benthem [19, 20] and Sánchez Valencia [17], whose monotonicity calculus explains inferences involving semantic containment and inversions of monotonicity, even when nested, as in Nobody can enter without a valid passport |= Nobody can enter without a passport.”
A ‘Natural Logic’ inference system using the Lambek calculus (2006, unknown): “Keywords: natural logic, inference, lambek calculus, normalization”
Knowledge-Based Textual Inference via Parse-Tree Transformations (2015, background): “Their work extends previous work on natural logic (Valencia, 1991), which focused on semantic containment and monotonicity, by incorporating semantic exclusion and implicativity.”
Exploring End-to-End Differentiable Natural Logic Modeling (2020, methodology): “Natural logic instead aims to sidestep some of the challenges by performing inferences over surface forms of text based on monotonicity or projectivity (Van Benthem, 1986; Valencia, 1991; MacCartney and Manning, 2009; Icard and Moss, 2014), and has been applied to tasks such as natural language infe”
Recent Progress on Monotonicity (2014, background): “In the late 1980s van Benthem (1986, 1991) and S´anchez-Valencia (1991) deﬁned proof systems for reasoning about entailment using monotonicity in higher-order languages.”
A brief history of natural logic (2008, methodology): “For details, we refer to van Benthem 1991, Sanchez Valencia 1991.”
Natural Logic for Textual Inference (2007, background): “Such methods, while robust and broadly effective, are imprecise, and are easily confounded by ubiquituous inferences involving monotonicity, particularly in negative polarity contexts, as in: P: No case of indigenously acquired rabies infection has been confirmed in the past 2 years.”
A Natural Logic Inference System (2000, background): “In Sánchez (1991), a similar conception ofNatural Logicis used to describe certain semantic properties of natural language expressions.”
A Monotonicity Calculus and Its Completeness (2017, background): “Algorithms have been devised and studied for deriving monotonicity patterns in complex expressions composed of simpler functional expressions (van Benthem, 1986; Sánchez-Valencia, 1991; van Eijck, 2007).”