On the System of Positive Slices in the Structure of Superintuitionistic Predicate Logics.

Mikhail N. Rybakov, Dmitry Shkatov, Dmitrij P. Skvortsov

Browse the full AiML paper archive.