scientific article; zbMATH DE number 3259885

zbMath0162.31105MaRDI QIDQ5545944

Tsutomu Hosoi

Publication date: 1967

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

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items

A criterion for the separable axiomatization of Gödel's $S_n $, Remark on a finite axiomatization of finite intermediate propositional logics, The simple substitution property of the intermediate propositional logics on finite slices, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics, A lattice of normal modal logics, Pretabular extensions of Lewis S4, Hereditarily finitely axiomatizable extensions of logic S4, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Kripke models and intermediate logics, Axiomatization of models for intermediate logics constructed with Boolean models by piling up