From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games.

Christian G. Fermüller Agata Ciabattoni

Published in: ISMVL (2003)

Keyphrases

intuitionistic logic
classical logic
dialogue games
linear logic
natural deduction
proof theoretic
normal form
logic programming
dialogue system
artificial intelligence
fixed point