On compactness in many-valued logic. I.

Peter W. Woodruff

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

Keyphrases

modal logic
truth values
classical logic
multi valued
automated reasoning
proof theory
epistemic logic
inference rules
logic programming
temporal logic
neural network
probabilistic logic
conceptual clustering
information systems
abductive reasoning
asynchronous circuits
data sets