Essays In Logical Semantics

By D. Herrmann. 2016

125 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.

In Linguistics

In Philosophy

Citations in the corpus

Recent Progress on Monotonicity (2014, methodology): “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.”
Combining Natural Logic and Shallow Reasoning for Question Answering (2016, background): “Much of this paper will extend this system, with additional inferences (Section 3) and a soft lexical classifier (Section 4).”
Natural Language Inference with Monotonicity (2019, background): “Iterating this idea of replacement does give a “fair amount” of inference, but to cope with NLI datasets we augment replacement with rules of natural logic (van Benthem, 1986), and with a mechanism for handling contradictions.”
Exploring End-to-End Differentiable Natural Logic Modeling (2020, background): “…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…”
A Natural Proof System for Natural Language (2017, background): “The semantic inclusion relation is well studied in terms of monotonicity calculus since van Benthem (1986); Sánchez-Valencia (1991).”
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´anchez-Valencia, 1991; van Ei-jck, 2007).”