Upper Part of the Lattice of Extensions of the Positive Relevant Logic R+.

Kazimierz Swirydowicz

Published in: Reports Math. Log. (2006)

Keyphrases

positive and negative
boolean algebra
logic programming
algebraic structure
lattice theory
default logic
automated reasoning
knowledge representation formalisms
data mining
genetic algorithm
computational properties
positively correlated