References
Cattaneo, G. and G. Nisticò: 1986, 'Brouwer-Zadeh Posets and Three-Valued Łukasiewicz Posets', Fuzzy Sets and Systems 33, 165–190.
Chang, C. C.: 1957, 'Algebraic Analysis of Many Valued Logics', Transactions of the American Mathematical Society 88, 74–80.
Chang, C. C.: 1958, 'A New Proof of the Completeness of Łu Axioms', Transactions of the American Mathematical Society 93, 467–490.
Dalla Chiara, M. L. and R. Giuntini: 1989, 'Paraconsistent Quantum Logics', Foundations of Physics 19, 891–904.
Dalla Chiara, M. L. and R. Giuntini: 1994, 'Unsharp Quantum Logics', Foundations of Physics 24, 1161–1177.
Dalla Chiara, M. L. and R. Giuntini: 1995, 'The Logics of Orthoalgebras', Studia Logica 55, 3–22.
Dvurečenskij, A. and S. Pulmannová: 1994, 'D-test Spaces and Difference Poset', Reports on Mathematical Physics 34, 151–170.
Foulis, D. J. and M. K. Bennett: 1994, 'Effect Algebras and Unsharp Quantum Logics', Foundations of Physics 24, 1325–1346.
Girard, J. Y.: 1987, 'Liner Logic', Theoretical Computer Science 50, 1–102.
Giuntini, R.: 1991, 'A Semantical Investigation on Brouwer-Zadeh Logic', Journal of Philosophical Logic 20, 411–433.
Giuntini, R.: 1996, 'Quantum MV Algebras', Studia Logica 56, 393–417.
Giuntini, R. and H. Greuling: 1989, 'Toward an Unsharp Language for Unsharp Properties', Foundations of Physics 19, 931–945.
Kôpka, F. and F. Chovanec: 1994, 'D-posets', Mathematica Slovaca 44, 21–34.
Ludwig, G.: 1983, Foundations of Quantum Mechanics, Vol. 1, Springer, Berlin.
Mangani, P.: 1973, 'Su Certe Algebre Connesse con Logiche a Più Valori', Bollettino Unione Matematica Italiana 8, 68–78.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dalla Chiara, M.L., Giuntini, R. Paraconsistent ideas in quantum logic. Synthese 125, 55–68 (2000). https://doi.org/10.1023/A:1005296018904
Issue Date:
DOI: https://doi.org/10.1023/A:1005296018904