Dmitry P. Skvortsov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We consider superintuitionistic predicate logics understood in the usual way, as sets of predicate formulas (without function symbols) containing all axioms of Heyting predicate logic Q-H and closed under modus ponens, generalization, and substitution of arbitrary formulas for atomic ones (we are mainly interested in logics without equality, and only(More)
  • 1