Combining intuitionistic connectives and Routley negation

摘要

Logic N¤ was defined as a logical framework for studying deductive bases of the well founded semantics (WFS) of logics programs with negation. Its semantical definition combines Kripke frames for intuitionistic logic with Routley’s ¤-operator, which is us