A bilateral Hilbert-style investigation of 2-intuitionistic logic.

Sergey Drobyshevich

Published in: J. Log. Comput. (2019)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
normal form
proof theoretic
logic programming
database design
dynamical systems
temporal logic
model checker
cut elimination