(1) All-Russian Institute of Scientific and Technical Information, Molodogvardejskaja 22, korp.3, kv.29, 121351 Moscow, Russia
Abstract:
We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also
a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently,
w.r.t. Kripke sheaves 8]), is described.