Λ-elimination in illative combinatory logic.

Martin W. Bunder

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

Keyphrases

logic programming
classical logic
modal logic
defeasible logic
asynchronous circuits
data sets
automated reasoning
probabilistic logic
deontic logic
proof theory
data mining
artificial intelligence
computer vision
model checking
inference rules
multi valued