Sciweavers

LOGCOM
2010
152views more  LOGCOM 2010»
12 years 10 months ago
Constructive Logic with Strong Negation as a Substructural Logic
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...
Manuela Busaniche, Roberto Cignoli
NGC
2007
Springer
171views Communications» more  NGC 2007»
13 years 3 months ago
Description Logics with Contraries, Contradictories, and Subcontraries
Several constructive description logics,12) in which classical negation was replaced by strong negation as a component to treat negative atomic information have been proposed as in...
Ken Kaneiwa
IGPL
2007
74views more  IGPL 2007»
13 years 3 months ago
A Note on Negation in Categorial Grammar
A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.
Heinrich Wansing
ASP
2005
Springer
13 years 9 months ago
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics
In this paper we consider an extension of the answer set semantics allowing arbitrary use of strong negation. We prove that the strong negation extension of any intermediate logic ...
Magdalena Ortiz, Mauricio Osorio