RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2010 Volume 49, Number 3, Pages 346–365 (Mi al443)

This article is cited in 3 papers

Simple weakly transitive modal algebras

A. V. Karpenkoa, L. L. Maksimovaba

a Novosibirsk State University, Novosibirsk, Russia
b Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

Abstract: Weakly transitive modal algebras are studied. It is proved that the class of simple weakly transitive algebras coincides with the class of simple $DL$-algebras. A full description is given for finitely generated simple $DL$-algebras together with their embeddings. As a consequence, it is shown that the varieties of weakly transitive algebras and of $DL$-algebras are not weakly amalgamable, and that modal logics $wK4$ and $DL$ do not possess the weak interpolation property.

Keywords: weakly transitive modal algebra, $DL$-algebra, weakly amalgamable variety, weak interpolation property.

UDC: 512.563+510.6+510.5

Received: 07.04.2009
Revised: 01.09.2009


 English version:
Algebra and Logic, 2010, 49:3, 233–245

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024