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