Fuzzy topology representation for MV‐algebras

Mathematical Logic Quarterly 55 (3):259-270 (2009)
  Copy   BIBTEX

Abstract

Let M be an MV-algebra and ΩM be the set of all σ -valuations from M into the MV-unit interval. This paper focuses on the characterization of MV-algebras using σ -valuations of MV-algebras and proves that a σ -complete MV-algebra is σ -regular, which means that a ≤ b if and only if v ≤ v for any v ∈ ΩM. Then one can introduce in a natural way a fuzzy topology δ on ΩM. The representation theorem forMV-algebras is established by means of fuzzy topology. Some properties of fuzzy topology δ and its cut topology U are investigated

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gauge theory onR×S 3 topology.G. Zet - 1990 - Foundations of Physics 20 (1):111-117.
Does the topology of space fluctuate?Arlen Anderson & Bryce DeWitt - 1986 - Foundations of Physics 16 (2):91-105.
Zeeman-göbel topologies.Adrian Heathcote - 1988 - British Journal for the Philosophy of Science 39 (2):247-261.
Mirror symmetry: What is it for relational space to be orientable?Nick Huggett - 2002 - In Katherine Brading & Elena Castellani (eds.), Symmetries in Physics: Philosophical Reflections. Cambridge University Press. pp. 281.
Logic, physics, physiology, and topology of color.H. M. Hubey - 1997 - Behavioral and Brain Sciences 20 (2):191-194.
Reverse mathematics and π21 comprehension.Carl Mummert & Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (4):526-533.
On ultracoproducts of compact hausdorff spaces.R. Gurevič - 1988 - Journal of Symbolic Logic 53 (1):294-300.

Analytics

Added to PP
2013-12-01

Downloads
18 (#835,422)

6 months
6 (#526,916)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Deduction Theorem for Many‐Valued Inference.Mingsheng Ying - 1991 - Mathematical Logic Quarterly 37 (33‐35):533-537.

Add more references