<--- Back to Details
First PageDocument Content
Semantics / Datalog / Logic programming / Rules of inference / Stratification / Negation as failure / Negation / Transitive closure / Model theory / Logic / Mathematics / Mathematical logic
Date: 2010-02-12 06:45:46
Semantics
Datalog
Logic programming
Rules of inference
Stratification
Negation as failure
Negation
Transitive closure
Model theory
Logic
Mathematics
Mathematical logic

15 Alice: Sergio: Alice: Riccardo: Vittorio:

Add to Reading List

Source URL: webdam.inria.fr

Download Document from Source Website

File Size: 364,61 KB

Share Document on Facebook

Similar Documents

There is no logical negation: true, false, both and neither Jc Beall entailments.net University of Connecticut University of Tasmania

DocID: 1v4xL - View Document

GRAMMAIRE ET DISCOURS Cours 2 : les présuppositions 1. Caractérisation intuitive Des inférences qui résistent à la négation, à l’interrogation, à l’enchâssement sous une modalité. Les énoncés (1b-d) conse

DocID: 1uYXu - View Document

Abstract Presuppositions are capable of projecting from under the scope of operators such as negation, but do not obligatorily do so. This creates a potential difficulty for the hearer of presupposition-bearing utterance

DocID: 1uIjP - View Document

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

DocID: 1uAtc - View Document

Université Paris Sorbonne – Sémantique Avancée Négation méta-linguistique [Horn, 1989, Carston, 1998, Geurts, 1998] (≈ négation polémique [Ducrot, 1972, Muller, 1991])

DocID: 1uxLO - View Document