A Way to Interpret Lukasiewicz Logic and Basic Logic.

Thomas Vetterlein

Published in: Stud Logica (2008)

Keyphrases

modal logic
truth values
databases
predicate logic
classical logic
artificial intelligence
data sets
multi valued
automated reasoning
logic programming
logic programs
clustering algorithm
horn clauses
genetic algorithm
data mining
real time
dynamic logic
proof theory