Logic with Equality: Partisan Corroboration and Shifted Pairing.

Yuri Gurevich Margus Veanes

Published in: Inf. Comput. (1999)

Keyphrases

modal logic
proof theory
predicate logic
data sets
epistemic logic
genetic algorithm
website
logic programming
expressive power
multi valued
logical framework
set theory
truth values
sound and complete axiomatization