Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921)

The background to this interesting paper is semantics for non-classical predicate logics. The most interesting aspect of the paper is, in the reviewer's opinion, the introduction of a new semantics which provides a natural environment for modelling superintuitionistic predicate logics and modal predicate logics. Using the semantics, the author presents new results, which are impossible to render adequately here. Therefore we shall limit ourselves to the following: Theorem 4.23. There exists a continuum of superintuitionistic predicate logics each of which has both the disjunction and the existence property and moreover the same propositional fragment as intuitionistic logic.