An extended joint consistency theorem for free logic with equality.

Raymond D. Gumb

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

Keyphrases

intuitionistic logic
modal logic
derivation rules
logic programming
classical logic
defeasible logic
set theory
relational databases
knowledge representation
automated reasoning