Abstract
A semantic investigation of a particular form of Brouwer-Zadeh logic (three-valued Brouwer-Zadeh logic) is presented and it is shown that this logic can be characterized by means of Kripke-style semantics. Some connections of Brouwer-Zadeh logics with unsharp quantum mechanics are also investigated.
Similar content being viewed by others
References
Cattaneo, G., and Giuntini, R. (1993). Solution of two open problems in Hilbertian quantum physics, preprint.
Cattaneo, G., and Nisticò, G. (1989). Brouwer-Zadeh posets and three-valued Łukasiewicz posets,Fuzzy Sets and Systems,33, 165–190.
Cattaneo, G., Dalla Chiara, M. L., and Giuntini, R. (1993). Fuzzy-intuitionistic quantum logics,Studia Logica,52, 1–24.
Giuntini, R. (1991). A semantical investigation on Brouwer-Zadeh logics,Journal of Philosophical Logic,20, 411–433.
Giuntini, R. (1992a). Semantic alternatives in Brouwer-Zadeh logics,International Journal of Theoretical Physics,31, 83–97.
Giuntini, R. (1992b). Brouwer-Zadeh logic, decidability and bimodal systems,Studia Logica,51, 97–112.
Giuntini, R. (1993). Three-valued Brouwer-Zadeh logic is decidable, preprint.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Giuntini, R. Three-valued Brouwer-zadeh logic. Int J Theor Phys 32, 1875–1887 (1993). https://doi.org/10.1007/BF00979508
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00979508