Явная и неявная определимость в модальных, суперинтуиционистских и релевантных логиках.
##plugins.themes.bootstrap3.article.main##
Abstract
Various versions of the Beth definability property are considered for propositional normal modal logics, and also for superintuitionistic and relevant logics. We discuss interrelations of these properties, and find their algebraic equivalents in case of modal and superintuitionistic logics, and for extensions of $R$ formulated in the language with a propositional constant t.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Maksimova L. Явная и неявная определимость в модальных, суперинтуиционистских и релевантных логиках. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 5. C. 53-60.
Issue
Section
Papers