Negation as inconsistency. I

D. M. Gabbay; M. J. Sergot

doi:10.1016/0743-1066(86)90002-6

Negation as inconsistency. I

D. M. Gabbay, M. J. Sergot

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

27 Scopus citations

Abstract

The notion of negation as inconsistency is motivated and introduced into PROLOG. This negation is fully compatible with classical negation and gives a version of PROLOG which is a stronger fragment of classical logic than ordinary PROLOG. It is intended that negation as inconsistency replace the notion of negation as failure. Negation as inconsistency can be generalized in a natural way and in its generalized form will include negation as failure as a special case.

Original language	English
Pages (from-to)	1-35
Number of pages	35
Journal	Journal of Logic Programming
Volume	3
Issue number	1
DOIs	https://doi.org/10.1016/0743-1066(86)90002-6
State	Published - Apr 1986

Access to Document

10.1016/0743-1066(86)90002-6

Cite this

@article{88e10fd9f14845298eeb140c05ae4d9a,

title = "Negation as inconsistency. I",

abstract = "The notion of negation as inconsistency is motivated and introduced into PROLOG. This negation is fully compatible with classical negation and gives a version of PROLOG which is a stronger fragment of classical logic than ordinary PROLOG. It is intended that negation as inconsistency replace the notion of negation as failure. Negation as inconsistency can be generalized in a natural way and in its generalized form will include negation as failure as a special case.",

author = "Gabbay, {D. M.} and Sergot, {M. J.}",

year = "1986",

month = apr,

doi = "10.1016/0743-1066(86)90002-6",

language = "אנגלית",

volume = "3",

pages = "1--35",

journal = "Journal of Logic Programming",

issn = "0743-1066",

publisher = "Elsevier B.V.",

number = "1",

}

TY - JOUR

T1 - Negation as inconsistency. I

AU - Gabbay, D. M.

AU - Sergot, M. J.

PY - 1986/4

Y1 - 1986/4

N2 - The notion of negation as inconsistency is motivated and introduced into PROLOG. This negation is fully compatible with classical negation and gives a version of PROLOG which is a stronger fragment of classical logic than ordinary PROLOG. It is intended that negation as inconsistency replace the notion of negation as failure. Negation as inconsistency can be generalized in a natural way and in its generalized form will include negation as failure as a special case.

AB - The notion of negation as inconsistency is motivated and introduced into PROLOG. This negation is fully compatible with classical negation and gives a version of PROLOG which is a stronger fragment of classical logic than ordinary PROLOG. It is intended that negation as inconsistency replace the notion of negation as failure. Negation as inconsistency can be generalized in a natural way and in its generalized form will include negation as failure as a special case.

UR - http://www.scopus.com/inward/record.url?scp=0022693345&partnerID=8YFLogxK

U2 - 10.1016/0743-1066(86)90002-6

DO - 10.1016/0743-1066(86)90002-6

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0022693345

SN - 0743-1066

VL - 3

SP - 1

EP - 35

JO - Journal of Logic Programming

JF - Journal of Logic Programming

IS - 1

ER -

Negation as inconsistency. I

Abstract

Access to Document

Other files and links

Fingerprint

Cite this