Swap logic.

Carlos Areces Raul Fervari Guillaume Hoffmann

Published in: Log. J. IGPL (2014)

Keyphrases

modal logic
database
databases
logic programming
multi valued
classical logic
predicate logic
proof theory
sound and complete axiomatization
neural network
data mining
case study
data structure
graph cuts
formal theory
deontic logic