×

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)
PDF BibTeX XML Cite
Full Text: EuDML