Login / Signup
Defining implication relation for classical logic.
Li Fu
Published in:
CoRR (2013)
Keyphrases
</>
classical logic
logic programming
modal logic
possibilistic logic
revision operators
intuitionistic logic
default logic
xml keys
possibility theory
automated theorem proving
artificial intelligence
autoepistemic logic
valued logic
logic programs
sufficient conditions
computer science and artificial intelligence