%0 Journal Article
%@ 1571-0661
%A Osorio, M
%A Pérez, JAN
%A Arrazola, J
%D 2002
%F discovery:1361362
%J Electronic Notes in Theoretical Computer Science
%K answer sets; A-prolog; stable semantics
%P 284 - 295
%T A logical approach to A-Prolog
%U https://discovery.ucl.ac.uk/id/eprint/1361362/
%V 67
%X It has been recently provided a characterization of Answer Sets by intuitionistic logic as follows: a literal is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and consistent extension of the program formed by adding only negated literals. We show that if we replace intuitionistic logic by any si-logic the result still holds.
%Z This is an Elsevier Open Access article.