You are not currently logged in.
Access JSTOR through your library or other institution:
Brouwer-Zadeh Logic, Decidability and Bimodal Systems
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
You can always find the topics here!Topics: Partially ordered sets, Logical theorems, Algebra, Abstract logic, Finite model property, Semantics, Hilbert spaces, Quantum logic, Quantum mechanics, Truth
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 1992 Springer