Union of logics modeled by finite trees
type: Item
instance of: scholarly article
title: Union of logics modeled by finite trees
zbMATH Open document ID: 0522.03015
DOI: 10.1007/BF01980750
author: Ya. M. Drugush
published in: Algebra and Logic
publication date: 1983-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187171
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 3825766
zbMATH Keywords: superintuitionistic logic
zbMATH Keywords: finite forests
zbMATH Keywords: lattice of superintuitionistic logics
MaRDI profile type: Publication
cites work: Finite approximability of forest superintuitionistic logics
cites work: Some relational systems and the associated topological spaces
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Q5509710
OpenAlex ID: W2074814195
description: scientific article; zbMATH DE number 3825766