Separability and decidability results for varieties of Jónsson dynamic algebras

DOI10.1007/S000120050146zbMath1012.03065OpenAlexW1999196471MaRDI QIDQ1866799

Siniša Crvenković, Igor Dolinka

Publication date: 23 April 2003

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050146

zbMATH Keywords

separabilitydecidabilitydynamic logicdynamic algebrasBoolean modulestwo-sorted algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Other algebras related to logic (03G25)

This page was built for publication: Separability and decidability results for varieties of Jónsson dynamic algebras