A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic.

Martin W. Bunder

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

Keyphrases

distributed systems
knowledge base
management system
computer systems
knowledge based systems
asynchronous circuits
information systems
expert systems
intelligent systems
proof theory