MV and Heyting effect algebras

Foundations of Physics

Volumn 30, Issue 10, 2000, Pages 1687-1706

  Foulis, D J ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034563714     PISSN: 00159018     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026454318245     Document Type: Article

References (34)

1. M. K. Bennett and D. J. Foulis, "Phi-symmetric effect algebras," Found. Phys. 25(12), 1699-1722 (1995).
2. M. K. Bennett and D. J. Foulis, "Interval and scale effect algebras," Adv. Appl. Math. 19, 200-215 (1997).
3. G. Birkhoff, Lattice Theory. 3rd. ed. (American Mathematical Society colloquium Publications, XXV, Providence, RI, 1967).
4. P. Busch, P. J. Lahti, and P. Mittlestaedt, The Quantum Theory of Measurement (Springer, Berlin, 1991).
5. G. Cattaneo and G. Nistico, "Brouwer-Zadeh posets and three-valued Łukasiewicz posets," Internat. J. Fuzzy Sets and Systems 33, 165-190 (1989).
6. C. C. Chang, "Algebraic analysis of many-valued logics," Trans. Am. Math. Soc. 88, 467-490 (1957).
7. C. C. Chang, "A new proof of the completeness of Łukasiewicz axioms," Trans. Am. Math. Soc. 93, 74-80 (1958).
8. F. Chovanec and F. Kôpka, "Boolean D-posets," Tatra Mountains Mathematical Publications 10, 183-197 (1997).
9. M. L. Dalla Chiara, "Quantum logic," in Handbook of Philosophical Logic III, D. Gabbay and G. Guenthner, eds. (Reidel, Dordrecht, 1986).
10. M. L. Dalla Chiara and R. Giuntini, "Paraconsistent quantum logics," Found. Phys. 19(7), 891-904 (1989).
11. M. L. Dalla Chiara, G. Cattaneo, and R. Giuntini, "Fuzzy-intuitionisitic quantum logic," Studia Logica 52, 1-24 (1993).
12. M. L. Dalla Chiara and R. Giuntini, "Partial and unsharp quantum logics," Found. Phys. 24(8), 1161-1177 (1994).
13. M. L. Dalla Chiara and R. Giuntini, "Physical interpretations of the Łukasiewicz quantum logical connectives," in The Foundations of Quantum Mechanics, C. Garola and A. Rossi, eds. (Kluwer Academic, Dordrecht, 1995), pp. 179-185.
14. M. L. Dalla Chiara and R. Giuntini, "Quantum logic, the logician's approach," in Encyclopedia of Applied Physics, Vol. 15, George L. Trigg, ed. (VCH Publishers, Weinheim, Germany, NY, 1996), pp. 241-255.
15. M. R. Darnel, Theory of Lattice-Ordered Groups (Dekker, New York, 1995).
16. A. Dvurečenskij and S. Pulmannová, "D-test spaces and difference posets," Rep. Math. Phys. 34(2), 151-170 (1994).
17. A. Dvurečenskij and H. S. Kim, "On connections between BCK-algebras and difference posets," Studia Logica 60, 421-439 (1998).
18. A. Dvurečenskij and M. G. Graziano, "Remarks on representations of minimal clans," Tatra Mountains Mathematical Publications 15, 31-53 (1998).
19. D. J. Foulis and M. K. Bennett, "Effect algebras and unsharp quantum logics," Found. Phys. 24(10), 1325-1346 (1994).
20. D. J. Foulis, R. J. Greechie, and M. K. Bennett, "The transition to unigroups," Internat. J. Theoret. Phys. 37(1), 45-63 (1998).
21. R. Giuntini and H. Greuling, "Toward a formal language for unsharp properties," Found. Phys. 19(7), 931-945 (1989).
22. K. R. Goodearl, Partially Ordered Abelian Groups with Interpolation (American Mathematical Society, Providence, RI, 1986).
23. G. Grätzer, General Lattice Theory (Academic, New York, 1978).
24. R. J. Greechie, D. J. Foulis, and S. Pulmannová, "The center of an effect algebra," Order 12, 91-106 (1995).
25. S. P. Gudder, Quantum Probability (Academic, San Diego, 1988).
26. K. Kôpka and F. Chovanec, "D-posets," Mathematica Slovaca 44(1), 21-34 (1994).
27. D. Mundici, "Interpretation of AF C*-algebras in Łukasiewicz sentential calculus," J. Funct. Anal. 65, 15-63 (1986).
28. M. Navara and P. Pták, "Difference posets and orthoalgebras," Department of Mathematics Report Series, Czech Technical University in Prague, Faculty of Electrical Engineering, No. 93-8, 1-5 (1993).
29. M. Obeid, "Pasttings and centeria of orthoalgebras," Ph.D. thesis (Kansas State University, Manhattan, KS, 1990).
30. K. Ravindran, "On a structure theory of effect algebras," Ph.D. thesis, Kansas State University (UMI Dissertation Services, No. 9629062, Ann Arbor, MI, 1996).
31. K. Ravindran, "States on effect algebras that have the Φ-symmetry property," Internat. J. Theoret. Phys. 37(1), 175-181 (1998).
32. M. H. Stone, "The theory of representations for a Boolean algebra," Trans. AM. Math. Soc. 40, 37-111 (1936).
33. M. H. Stone, "Applications of the theory of Boolean rings to general topology," Trans. Am. Math. Soc. 41, 375-481 (1937).
34. E. A. Walker, "Stone algebras, conditional events, and three valued logic," IEEE Transactions on Systems, Man, and Cybernetics 24(12), 1699-1707 (1994).