6618 search results - page 15 / 1324 » Natural Logic for Natural Language |
LOGCOM
2006
13 years 7 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
TBILLC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
JVA
2006
IEEE
14 years 1 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
CICLING
2005
Springer
14 years 28 days ago
2005
Springer
NLPRS
2001
Springer
13 years 11 months ago
2001
Springer
