Semantics of structured normal logic programs☆
Under an Elsevier user license
open archive
Keywords
Semantics
Normal logic programs
Embedded implication
Visibility rules
Structuring mechanism
Intuitionistic structures
Cited by (0)
- ☆
This work has been partially supported by the Spanish CICYT project FORMALISM (Ref. TIN2007-66523) and by the AGAUR Research Grant ALBCOM (Ref. SGR 20091137).
Copyright © 2012 Elsevier Inc. All rights reserved.