Sign in
An Intuitionistic Logic that Proves Markov's Principle.
Hugo Herbelin
Published in:
LICS (2010)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
artificial intelligence
database
functional dependencies
normal form
model checker