8 search results - page 2 / 2 » Boolean Topological Distributive Lattices and Canonical Exte... |
ENTCS
2006
13 years 6 months ago
2006
In 1937 Marshall Stone extended his celebrated representation theorem for Boolean algebras to distributive lattices. In modern terminology, the representing topological spaces are...
CORR
2011
Springer
12 years 9 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
IGPL
2011
12 years 9 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...