An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning

François Bry

The model theory of a first-order logic called N^4 is introduced. N^4 does not eliminate double negations, as classical logic does, but instead reduces fourfold negations. N^4 is v…