scientific article; zbMATH DE number 3259885
From MaRDI portal
Publication:5545944
Cited in
(14)- scientific article; zbMATH DE number 1470716 (Why is no real title available?)
- A criterion for the separable axiomatization of Gödel's $S_n $
- Kripke models and intermediate logics
- The simple substitution property of the intermediate propositional logics on finite slices
- scientific article; zbMATH DE number 4132118 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 6001202 (Why is no real title available?)
- 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)
