On Logic of Paradox.

Zuoquan Lin Wei Li

Published in: ISMVL (1995)

Keyphrases

modal logic
automated reasoning
logic programming
data mining
proof theory
multi valued
database
information retrieval
logic synthesis
sound and complete axiomatization