Publication:5619070
From MaRDI portal
zbMath0216.00502MaRDI QIDQ5619070
Publication date: 1970
03B55: Intermediate logics
Related Items
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