Tarski's theorem on intuitionistic logic, for polyhedra.

Nick Bezhanishvili Vincenzo Marra Daniel McNeill Andrea Pedrini

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

intuitionistic logic
classical logic
linear logic
normal form
natural deduction
proof theoretic
artificial intelligence
cut elimination