|
|||||
|
|
Three-valued Brouwer-zadeh logic |
|
| Authors: | Roberto Giuntini |
| Affiliation: | (1) Dipartimento di Filosofia, Università di Firenze, Florence, Italy |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |