Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.

Arnon Avron Agata Ciabattoni Anna Zamansky

Published in: CSR (2009)

Keyphrases

binary images
sufficient conditions
sequent calculi
modal logic
inference rules
data mining
social networks
database systems