A Finitary Metalanguage for Extended Basic Logic.

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

Keyphrases

finite state
derivation rules
database
defeasible logic
deontic logic
information systems
knowledge base
multiscale
modal logic
automated reasoning
multi valued
predicate logic