Login / Signup
Labeled Natural Deduction Systems for a Family of Tense Logics.
Luca Viganò
Marco Volpe
Published in:
TIME (2008)
Keyphrases
</>
natural deduction
complex systems
management system
inference rules
expert systems
theorem prover
training data
special case
supervised learning
distributed systems
logic programming
intuitionistic logic