Login / Signup
Relevant implication and the weak deduction theorem.
Diderik Batens
Published in:
Stud Logica (1987)
Keyphrases
</>
database
knowledge base
inference rules
theorem prover
theorem proving
intuitionistic logic
machine learning
multiscale
reinforcement learning
image database
closely related
automated theorem proving