Journal of Pure and Applied Mathematics: Advances and Applications[1] E. G. Beltrametti and G. Cassinelli, New Logic of Quantum
Mechanics, Cambridge University Press: Cambridge, UK, 2010.
[2] G. Cattaneo and F. Lombardo, Independent axiomatization of
MV-algebras, Tatra Mt. Math. Publ. 15(2) (1998), 227-232.
[3] C. C. Chang, Algebraic analysis of many valued logics, Trans.
Amer. Math. Soc. 88 (1958), 467-490.
DOI: https://doi.org/10.1090/S0002-9947-1958-0094302-9
[4] R. Cignoli, I. M. L. D’Ottaviano and D. Mundici, Algebraic
Foundations of Many-Valued Reasoning; Kluwer: Dordrecht, 2000.
[5] A. DvureÄenskij and S. Pulmannová, New trends in quantum
structures, Kluwer Acad. Publ.: Ister Sci., Dordrecht, Bratislava,
2000.
[6] D. J. Foulis and M. K. Bennett, Effect algebras and unsharp
quantum logics, Foundations of Physics 24(10) (1994), 1331-1352.
DOI: https://doi.org/10.1007/BF02283036
[7] D. J. Foulis, MV and Heyting effect algebras, Foundations of
Physics 30(10) (2000), 1687-1706.
DOI: https://doi.org/10.1023/A:1026454318245
[8] R. Giuntini and H. Greuling, Toward a formal language for unsharp
properties, Foundations of Physics 19(7) (1989), 931-945.
DOI: https://doi.org/10.1007/BF01889307
[9] E. V. Huntington, Sets of independent postulates for the algebra
of logic, Trans. Amer. Math. Soc. 5(3) (1904), 288-309.
DOI: https://doi.org/10.1090/S0002-9947-1904-1500675-4
[10] E. V. Huntington, New sets of independent postulates for the
algebra of logic, Trans. Amer. Math. Soc. 35(1) (1933), 274-304.
DOI: https://doi.org/10.1090/S0002-9947-1933-1501684-X
[11] A. Jencová and S. Pulmannová, Effect algebras with state
operator, Fuzzy Sets and Systems 260 (2015), 43-61.
DOI: https://doi.org/10.1016/j.fss.2014.06.002
[12] M. Kolarik, Independence of the axiomatic system for MV-algebras,
Mathematica Slovaca 63(1) (2013), 1-4.
DOI: https://doi.org/10.2478/s12175-012-0076-z
[13] F. Kôpka and F. Chovanec, D-posets, Mathematica Slovaca 44
(1994), 21-34.
[14] G. Ludwig, Foundations of Quantum Mechanics, Springer, New-York,
1983.
[15] T. Oner and M. Terziler, Independent of countable sets of
formulas of the propositional logic, ARS Combinatoria 12 (2013),
73-80.
[16] P. Pták and S. Pulmannová, Orthomodular Structures as
Quantum Logics, Kluwer: Dordrecht, 1991.
