Category theory based on combinatory logic.

Martin W. Bunder

Published in: Arch. Math. Log. (1984)

Keyphrases

formal theory
commonsense reasoning
modal logic
probability theory
computer algebra
multi valued
neural network
proof theory
decision making
case study
theoretical framework
information theory
theoretical basis
proof theoretic
mathematical theory
finite model theory
general theory
classical logic