Login / Signup
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