Self-referentiality of Brouwer-Heyting-Kolmogorov semantics.

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

Keyphrases

formal semantics
operational semantics
integrity constraints
set theory
semantic information
conceptual model
learning algorithm
image analysis
xml documents
rough sets
logic programming
model theoretic
proof theory