A Diagrammatic Calculus of Syllogisms.

Published in: J. Log. Lang. Inf. (2012)

Keyphrases

computer algebra
algebraic structure
automated deduction
database
databases
image processing
multiscale
evolutionary algorithm
formal language
proof procedure
provably correct
timed automata
relation algebra