A reconstruction of formal logic.

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

Keyphrases

formal logic
predicate logic
description logics
information retrieval
artificial intelligence
formal methods
general purpose
logic programming
theoretical framework
lessons learned
deductive databases
design theory