Jankov-theorems for some implicational calculi.

Biswambhar Pahi

Published in: Math. Log. Q. (1975)

Keyphrases

sequent calculi
cut elimination
computer vision
spatial relations
databases
information retrieval
decision making
multiscale
sufficient conditions