Union of logics modeled by finite trees

DOI10.1007/BF01980750zbMath0522.03015OpenAlexW2074814195MaRDI 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 logicfinite forestslattice of superintuitionistic logics

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Finite approximability of forest superintuitionistic logics
• Algebras Whose Congruence Lattices are Distributive.
• Some relational systems and the associated topological spaces

This page was built for publication: Union of logics modeled by finite trees