A paradox in illative combinatory logic.

Martin W. Bunder

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

Keyphrases

logic programming
modal logic
multi valued
logical framework
real time
artificial intelligence
classical logic
multiscale
logic synthesis
databases
information systems
nonmonotonic logics