4352 search results - page 6 / 871 » A Representation Theorem and Applications |
146
Voted
CORR
2011
Springer
14 years 5 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 ...
83
Voted
COLT
2001
Springer
15 years 6 months ago
2001
Springer
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
61
Voted
DRW
2003
15 years 3 months ago
2003
ACS
2010
15 years 1 months ago
2010
It it shown that geometric morphisms between elementary toposes can be represented as certain adjunctions between the corresponding categories of locales. These adjunctions are ch...