Eskolemization in Intuitionistic Logic.

Matthias Baaz Rosalie Iemhoff

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

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
logic programming
artificial intelligence
high level
general purpose
modal logic
formal specification
possibility theory
model checker