A reconstruction of formal logic.

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

Keyphrases

formal logic
predicate logic
logic programming
artificial intelligence
information retrieval
case study
description logics
temporal logic