Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic.

Published in: LFCS (2013)

Keyphrases

intuitionistic logic
classical logic
linear logic
proof theoretic
natural deduction
set theory
logic programming
normal form
proof theory
formal semantics
desirable properties
cut elimination
natural language
operational semantics
model checker
theorem prover
modal logic
software engineering