Frames and MV-algebras

@article{Belluce2005FramesAM,
  title={Frames and MV-algebras},
  author={Lawrence Peter Belluce and Antonio di Nola},
  journal={Studia Logica},
  year={2005},
  volume={81},
  pages={357-385}
}
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$${_{\cal F}}$$ (Ω(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… 

References

SHOWING 1-10 OF 16 REFERENCES
Algebraic analysis of many valued logics
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the No-valued propositional calculus(2). For want of a better name, we shall call
A new proof of the completeness of the Łukasiewicz axioms
The purpose of this note is to provide a new proof for the completeness of the Lukasiewicz axioms for infinite valued propositional logic. For the existing proof of completeness and a history of the
Topology and Its Applications
This note deals with the density and co-absolutes of the space U(ω1) of uniform ultrafilters on ω1. Recall that in [1976] Baumgartner showed that in every c.c.c. extension of a model of 21 = ω2 the
Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
  • L. P. Belluce
  • Mathematics, Computer Science
    Canadian Journal of Mathematics
  • 1986
TLDR
It seems appropriate to take a further look at the structure of MV-algebras and their relation to fuzzy set theory.
Topological space objects in a topos II: ɛ-Completeness and ɛ-cocompleteness
It is well known that topoi satisfy strong internal completeness and cocompleteness conditions: Lawvere [4] announced the existence of internal Kan extensions; proofs may be found in Kock and Wraith
Algebraic Foundations of Many-Valued Reasoning
Introduction. 1. Basic notions. 2. Chang completeness theorem. 3. Free MV-algebras. 4. Lukasiewicz INFINITY-valued calculus. 5. Ulam's game. 6. Lattice-theoretical properties. 7. MV-algebras and
Perfect MV-algebras are categorically equivalent to abelianl-groups
TLDR
It is proved that the category of abelianl-groups is equivalent to the categoryof perfect MV-algebras, and a finite equational axiomatization of the variety generated by perfect MV -algebraes is given.
Separated Presheaves of Normed Spaces and -valued Norms
TLDR
The axioms of Ω-valued normed spaces are laid down and their invariance under the so-called tilde-construction is shown, which makes it possible to study continuous linear operators between them.
The Theory of Stochastic Processes
This book should be of interest to undergraduate and postgraduate students of probability theory.
...
...