Brouwer-Zadeh logic,decidability and bimodal systems |
| |
| Authors: | Roberto Giuntini |
| |
| Affiliation: | (1) Dipartimento di Filosofia, Universitá Di Firenze, via Bolognese 52, 50139 Firenze, Italy |
| |
| Abstract: | We prove that Brouwer-Zadeh logic has the finite model property and therefore is decidable. Moreover, we present a bimodal system (BKB) which turns out to be characterized by the class of all Brouwer-Zadeh frames. Finally, we show that BrouwerZadeh logic can be translated into BKB. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
