Monadic dynamic algebras

DOI10.1002/MALQ.200510022zbMath1090.03036OpenAlexW2133245558MaRDI QIDQ5469106

M. Teresa F. Oliveira-Martins, M. C. Pinto, Sandra Marques Pinto

Publication date: 16 May 2006

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10316/8220

zbMATH Keywords

monadic algebradynamic relationdual of a quantifierdynamic hemimorphismmonadic dynamic algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items (3)

Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view ⋮ Subdirectly irreducible separable dynamic algebras ⋮ Congruences and ideals on Boolean modules: a heterogeneous point of view

Cites Work

• First-order dynamic logic
• Unnamed Item

This page was built for publication: Monadic dynamic algebras