One-generated \textsf{WS5}-algebras

MaRDI QIDQ5224564zbMATH OpenFDO

Authors Alex Citkin

Publication date 24 July 2019

zbMATH Keywords

Heyting algberaHeyting algebra with additional operatormodal logicweak logic WS5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
• The variety of modal \(\text{FL}_{ew}\)-algebras is generated by its finite simple members
• scientific article; zbMATH DE number 475232
• Varieties whose finitely generated members are free
• scientific article; zbMATH DE number 4163099

This page was built for publication: One-generated \textsf{WS5}-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224564)