Login / Signup

Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.

Pierangelo MiglioliUgo MoscatoMario Ornaghi
Published in: Log. J. IGPL (1997)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • description logics
  • natural deduction
  • expert systems
  • logic programming
  • computational properties
  • automated reasoning