Login / Signup

Questions and Dependency in Intuitionistic Logic.

Ivano CiardelliRosalie IemhoffFan Yang
Published in: Notre Dame J. Formal Log. (2020)
Keyphrases
  • intuitionistic logic
  • linear logic
  • classical logic
  • model checker
  • model checking
  • logic programming
  • normal form
  • conditional probabilities
  • proof theory