A multi-focused proof system isomorphic to expansion proofs.

Kaustuv Chaudhuri Stefan Hetzl Dale Miller

Published in: J. Log. Comput. (2016)

Keyphrases

sequent calculus
orders of magnitude
cut elimination
proof search
modal logic
digital libraries
artificial neural networks
formal proofs
np complete
knowledge representation
database
search algorithm
data structure
image sequences
learning algorithm
genetic algorithm
real world
databases