• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Local System for Intuitionistic Logic.

Alwen Tiu
Published in: LPAR (2006)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • proof theoretic
  • normal form
  • natural deduction
  • database
  • knowledge representation
  • model checker
  • proof theory