Studia Logica 51 (1):97 - 112 (1992)

Authors
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 No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370333
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Brouwer's Equivalence Between Virtual and Inextensible Order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
Brouwer, as Never Read by Husserl.Mark van Atten - 2003 - Synthese 137 (1-2):3-19.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
Dynamic Topological Logic Interpreted Over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.
A Semantical Investigation on Brouwer-Zadeh Logic.Roberto Giuntini - 1991 - Journal of Philosophical Logic 20 (4):411 - 433.

Analytics

Added to PP index
2009-01-28

Total views
46 ( #248,351 of 2,520,804 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,804 )

How can I increase my downloads?

Downloads

My notes