DOI10.1007/BF01980750zbMath0522.03015MaRDI QIDQ1055763
Ya. M. Drugush
Publication date: 1983 Published in: Algebra and Logic (Search for Journal in Brave) Full work available at URL: https://eudml.org/doc/187171
zbMATH Keywords
superintuitionistic logic; finite forests; lattice of superintuitionistic logics
Mathematics Subject Classification ID
03G10: Logical aspects of lattices and related structures
03B55: Intermediate logics
Cites Work