Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.

Dimiter Vakarelov

Published in: Stud Logica (2005)

Keyphrases

logic programs
logic programming
deductive databases
compositional semantics
containment of conjunctive queries
real time
fuzzy set theory
genetic algorithm
decision making
theorem prover
horn clauses
fixpoint