Discrete Dualities for Double Stone Algebras |
| |
| Authors: | Ivo D��ntsch Ewa Or?owska |
| |
| Affiliation: | 1. Dept of Computer Science, Brock University, St Catharines, ON, L2S 3A1, Canada
2. Institute of Telecommunications, Szachowa 1, 04?C894, Warszawa, Poland
|
| |
| Abstract: | We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
