Dynamic Algebras: Examples, Constructions, Application
Dynamic algebras combine the classes of Boolean (B V ' 0) and regular (R U ; *) algebras into a single finitely axiomatized variety (B R ♦) resembling an R-module with "scalar" multiplication ♦. The basis result is that * is reflexive transitive closure, contrary to the intuition that...
| 主要作者: | |
|---|---|
| 出版: |
2023
|
| 在线阅读: | https://hdl.handle.net/1721.1/148965 |