Pretabular superintuitionistic logic
From MaRDI portal
Publication:2265416
DOI10.1007/BF02330744zbMath0275.02027MaRDI QIDQ2265416
Publication date: 1974
Published in: Algebra and Logic (Search for Journal in Brave)
03B55: Intermediate logics
Related Items
Natural extensions and profinite completions of algebras, Generalized Kripke semantics for Nelson's logic, New constants in two pretabular superintuitionistic logics, Profinite completions and canonical extensions of Heyting algebras, A pretabular classical relevance logic, Automatic checking properties of non-classical logics
Cites Work