scientific article; zbMATH DE number 3342820
From MaRDI portal
zbMath0216.00502MaRDI QIDQ5619070
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
V. Yankov’s Contributions to Propositional Logic, On superintuitionistic logics as fragments of proof logic extensions, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, LC and Its Pretabular Relatives, A semantic hierarchy for intuitionistic logic, Cofinal stable logics, The tabularity problem over the minimal logic, A study of intermediate propositional logics on the third slice, Pretabular superintuitionistic logic, Constructing denumerable matrices strongly adequate for pre-finite logics, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Axiomatization of models for intermediate logics constructed with Boolean models by piling up, Some results on the intermediate logics
