Completeness of an Ancient Logic.

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

Keyphrases

classical logic
multi valued
asynchronous circuits
modal logic
logic programming
cultural heritage
order sorted
image sequences
probabilistic logic
logical operations
epistemic logic
predicate logic
formal language
computational properties
artificial intelligence
search algorithm
e learning
search engine