On Supervaluations in Free Logic.

Peter W. Woodruff

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

Keyphrases

modal logic
classical logic
logic programming
automated reasoning
neural network
artificial intelligence
sound and complete axiomatization
databases
knowledge base
relational databases
logical framework
set theory
deontic logic
proof theory