Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Brouwer-Zadeh Logic, Decidability and Bimodal Systems

Roberto Giuntini
Studia Logica: An International Journal for Symbolic Logic
Vol. 51, No. 1 (1992), pp. 97-112
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015611
Page Count: 16
  • Download ($43.95)
  • Cite this Item
Brouwer-Zadeh Logic, Decidability and Bimodal Systems
Preview not available

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 Brouwer-Zadeh logic can be translated into BKB.

Page Thumbnails

  • Thumbnail: Page 
[97]
    [97]
  • Thumbnail: Page 
98
    98
  • Thumbnail: Page 
99
    99
  • Thumbnail: Page 
100
    100
  • Thumbnail: Page 
101
    101
  • Thumbnail: Page 
102
    102
  • Thumbnail: Page 
103
    103
  • Thumbnail: Page 
104
    104
  • Thumbnail: Page 
105
    105
  • Thumbnail: Page 
106
    106
  • Thumbnail: Page 
107
    107
  • Thumbnail: Page 
108
    108
  • Thumbnail: Page 
109
    109
  • Thumbnail: Page 
110
    110
  • Thumbnail: Page 
111
    111
  • Thumbnail: Page 
112
    112