Switch to: Citations

Add references

You must login to add references.
  1. Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras.Sylvia Pulmannova - 1999 - Foundations of Physics 29 (9):1389-1401.
    Relations between effect algebras with Riesz decomposition properties and AF C*-algebras are studied. The well-known one-one correspondence between countable MV-algebras and unital AF C*-algebras whose Murray-von Neumann order is a lattice is extended to any unital AF C* algebras and some more general effect algebras having the Riesz decomposition property. One-one correspondence between tracial states on AF C*-algebras and states on the corresponding effect algebras is proved. In particular, pure (faithful) tracial states correspond to extremal (faithful) states on corresponding effect (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
    We review the fact that an MV-algebra is the same thing as a lattice-ordered effect algebra in which disjoint elements are orthogonal. An HMV-algebra is an MV-effect algebra that is also a Heyting algebra and in which the Heyting center and the effect-algebra center coincide. We show that every effect algebra with the generalized comparability property is an HMV-algebra. We prove that, for an MV-effect algebra E, the following conditions are mutually equivalent: (i) E is HMV, (ii) E has a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Effect algebras and unsharp quantum logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
    The effects in a quantum-mechanical system form a partial algebra and a partially ordered set which is the prototypical example of the effect algebras discussed in this paper. The relationships among effect algebras and such structures as orthoalgebras and orthomodular posets are investigated, as are morphisms and group- valued measures (or charges) on effect algebras. It is proved that there is a universal group for every effect algebra, as well as a universal vector space over an arbitrary field.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  • Residuated fuzzy logics with an involutive negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
    Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant $\overline{0}$ , namely $\neg \varphi$ is $\varphi \to \overline{0}$. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that $\neg$ is an involutive negation. However, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  • Phi-symmetric effect algebras.M. K. Bennett & D. J. Foulis - 1995 - Foundations of Physics 25 (12):1699-1722.
    The notion of a Sasaki projectionon an orthomodular lattice is generalized to a mapping Φ: E × E → E, where E is an effect algebra. If E is lattice ordered and Φ is symmetric, then E is called a Φ-symmetric effect algebra.This paper launches a study of such effect algebras. In particular, it is shown that every interval effect algebra with a lattice-ordered ambient group is Φ-symmetric, and its group is the one constructed by Ravindran in his proof that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
    This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations