Reasoning with Polarity in Categorial Type Logic

93 citations recorded by the source corpus.

How researchers see this paper

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

Flexible Generation of Natural Language Deductions (2021, background): “Natural Logic (Bernardi, 2002; Zamansky et al., 2006; MacCartney and Manning, 2009; Angeli et al., 2016) is related to our approach in that it provides a framework for logical reasoning about statements in natural language.”
A Monotonicity Calculus and Its Completeness (2017, background): “There has been recent theoretical work on monotonicity reasoning as part of a general interest in “natural logic” (Bernardi, 2002; Zamansky et al., 2006; MacCart-ney and Manning, 2009; Muskens, 2010; Icard, 2012; Moss, 2012; Icard and Moss, 2013; Tune, 2016), and much of this work has made its way…”