Login / Signup
An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions.
Raymond D. Gumb
Published in:
Stud Logica (2001)
Keyphrases
</>
logic programming
automated reasoning
intuitionistic logic
database
control system
knowledge representation
co occurrence
classical logic