An unsolvable problem concerning implicational calculi.

Ralph C. Applebee Biswambhar Pahi

Published in: Notre Dame J. Formal Log. (1970)

Keyphrases

sequent calculi
neural network
reasoning problems
three dimensional
qualitative spatial