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