Abstract
The paper discusses axiomatization of predicate logics extending the basic Godel-Dummett logic BG, and prenexability and inter-expressibility of quantifiers in these logics.
The paper discusses axiomatization of predicate logics extending the basic Godel-Dummett logic BG, and prenexability and inter-expressibility of quantifiers in these logics.