Keyword:superintuitionistic predicate logics

Publications
On the constant domains principle and its weakened versions in the Kripke sheaf semantics Dmitry Skvortsov In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic