Delimited control operators prove Double-negation Shift

/ Danko Ilik. — 2011

Equivalences Among Aggregate Queries with Negation

/ Sara Cohen ; Werner Nutt ; Yehoshua Sagiv. — 2002

Negation : its expression in painting and assemblage

/ Root, David Aaron. — Kansas State University, 1966

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation

/ Jan Maluszynski ; Andrzej Szalas. — 2011

Clause-final negation, structure and interpretation

/ Reesink, Ger. — 2002

Presupposition, negation and trivalence.

/ Seuren, Pieter A. M. — 2000

The acquisition of negation

/ Dimroth, Christine. — Mouton de Gruyter, 2010

Double-Negation Elimination in Some Propositional Logics

/ Michael Beeson ; Robert Veroff ; Larry Wos. — 2003

Minimum Model Semantics for Logic Programs with Negation-as-Failure

/ Panos Rondogiannis ; William W. Wadge. — 2003

The anatomy of negation /

/ Saltus, Edgar, 1855-1921. . — London ; New York : Brentano's, c1889