On a Duality of Quantales emerging from an Operational Resolution
نویسندگان
چکیده
We introduce the notion of operational resolution, i.e., an isotone map from a powerset to a poset that meets two additional conditions, which generalizes the description of states as the atoms in a property lattice (Piron, 1976 and Aerts, 1982) or as the underlying set of a closure operator (Aerts, 1994 and Moore, 1995). We study the structure preservance of the related state transitions and show how the operational resolution constitutes an epimorphism between two unitary quantales.
منابع مشابه
Girard Couples of Quantales
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.
متن کاملWeak hyper semi-quantales and weak hypervalued topological spaces
The purpose of this paper is to construct a weak hyper semi-quantale as a generalization of the concept of semi-quantale and used it as an appropriate hyperlattice-theoretic basis to formulate new lattice-valued topological theories. Based on such weak hyper semi-quantale, we aim to construct the notion of a weak hypervalued-topology as a generalized form of the so-called lattice-valued t...
متن کاملK-FLAT PROJECTIVE FUZZY QUANTALES
In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.
متن کاملGeothermal area detection using Landsat 8 operational land imager and thermal infrared sensor data in Ardabil province, Iran
GIS and remote sensing technique with using Landsat 8 images data are very important methods for detection of geothermal resources. In this study, Land Surface Temperature (LST) for Ardabil province in northwest of Iran, was derived with the use of Landsat 8 Operational Land Imager (OLI) of 30 m spatial resolution and Thermal Infrared Sensor (TIRS) data of 100 m spatial resolution. We consider ...
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کامل