STABLE INFERENCE AS INTUITIONISTIC VALIDITY

Authors
PEARCE D
Citation
D. Pearce, STABLE INFERENCE AS INTUITIONISTIC VALIDITY, The journal of logic programming, 38(1), 1999, pp. 79-91
Citations number
28
Categorie Soggetti
Computer Science Theory & Methods","Computer Science Theory & Methods
Journal title
The journal of logic programming → ACNP
ISSN journal
07431066
Volume
38
Issue
1
Year of publication
1999
Pages
79 - 91
Database
ISI
SICI code
0743-1066(1999)38:1<79:SIAIV>2.0.ZU;2-D
Abstract
The paper characterises the nonmonotonic inference relation associated with the stable model semantics for logic programs as follows: a form ula is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and consistent ext ension of the program formed by adding only negated atoms. In place of intuitionistic logic, any proper intermediate logic can be used. (C) 1999 Elsevier Science Inc. All rights reserved.