The main problems of expressibility of formulas in nonclassical logics.(Russian)Zbl 0652.03014

The paper presents a variety of results concerning the problems of expressibility and completeness (with respect to expressibility) in intuitionistic, superintuitionistic, and modal logics.
Reviewer: Z.Stachniak

MSC:

 03B55 Intermediate logics 03B20 Subsystems of classical logic (including intuitionistic logic) 03B45 Modal logic (including the logic of norms)
Full Text: