Frames and MV-algebras
Studia Logica 81 (3):357 - 385 (2005)
| Abstract | We describe a class of MV-algebras which is a natural generalization of the class of “algebras of continuous functions”. More specifically, we're interested in the algebra of frame maps Hom (Ω(A), K) in the category T of frames, where A is a topological MV-algebra, Ω(A) the lattice of open sets of A, and K an arbitrary frame. Given a topological space X and a topological MV-algebra A, we have the algebra C (X, A) of continuous functions from X to A. We can look at this from a frame point of view. Among others we have the result: if K is spatial, then C(pt(K), A), pt(K) the points of K, embeds into Hom (Ω(A), K) analogous to the case of C (X, A) embedding into Hom (Ω(A), Ω (X)) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGiovanni Sambin (1999). Subdirectly Irreducible Modal Algebras and Initial Frames. Studia Logica 62 (2):269-282.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65-78.
Miklós Ferenczi (2007). Finitary Polyadic Algebras From Cylindric Algebras. Studia Logica 87 (1):1 - 11.
Moshe S. Goldberg (1983). Topological Duality for Distributive Ockham Algebras. Studia Logica 42 (1):23 - 31.
Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini (2006). MV-Algebras and Quantum Computation. Studia Logica 82 (2):245 - 270.
Ivo Düntsch & Ewa Orłowska (2011). Discrete Dualities for Double Stone Algebras. Studia Logica 99 (1-3):127-142.
Roberto Giuntini (1996). Quantum MV Algebras. Studia Logica 56 (3):393 - 417.
Andrzej Sendlewski (1990). Nelson Algebras Through Heyting Ones: I. Studia Logica 49 (1):105 - 126.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Nguyen Cat Ho & Helena Rasiowa (1987). Semi-Post Algebras. Studia Logica 46 (2):149 - 160.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads9 ( #114,063 of 549,088 )Recent downloads (6 months)1 ( #63,317 of 549,088 )How can I increase my downloads? |
My notes
Discussion
