scientific article; zbMATH DE number 3342820

zbMath0216.00502MaRDI QIDQ5619070

Hiroakira Ono, Tsutomu Hosoi

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (13)

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

This page was built for publication: