Login / Signup

Quantified intuitionistic Logic over metrizable Spaces.

Philip Kremer
Published in: Rev. Symb. Log. (2019)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • proof theoretic
  • artificial intelligence
  • general purpose
  • logic programming
  • incomplete information
  • model checker
  • cut elimination