Cartesian logic.

Published in: Theor. Comput. Sci. (2002)

Keyphrases

modal logic
logic programming
classical logic
predicate logic
proof theory
information systems
clustering algorithm
case study
multi valued
logical operations
logic synthesis