scientific article; zbMATH DE number 3259885
From MaRDI portal
Publication:5545944
zbMATH Open0162.31105MaRDI QIDQ5545944FDOQ5545944
Authors: Tsutomu Hosoi 
Publication date: 1967
Title of this publication is not available (Why is that?)
Cited In (14)
- Title not available (Why is that?)
- A criterion for the separable axiomatization of Gödel's $S_n $
- Kripke models and intermediate logics
- Title not available (Why is that?)
- The simple substitution property of the intermediate propositional logics on finite slices
- Maksimova, relevance and the study of lattices of non-classical logics
- Hereditarily finitely axiomatizable extensions of logic S4
- A lattice of normal modal logics
- Pretabular extensions of Lewis S4
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up
- Title not available (Why is that?)
- Remark on a finite axiomatization of finite intermediate propositional logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5545944)
