On Adding (xi) to Weak Equality in Combinatory Logic.

Martin W. Bunder J. Roger Hindley Jonathan P. Seldin

Published in: J. Symb. Log. (1989)

Keyphrases

logic programming
modal logic
multi valued
classical logic
data sets
databases
programming language
proof theory
business objects
sound and complete axiomatization
data mining
information systems
logical framework
asynchronous circuits