Brouwer-Zadeh logic, decidability and bimodal systems

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

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370333

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Brouwer's equivalence between virtual and inextensible order.Enrico Martino - 1988 - History and Philosophy of Logic 9 (1):57-66.
Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.
What is the upper part of the lattice of bimodal logics?Frank Wolter - 1994 - Studia Logica 53 (2):235 - 241.
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.
Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930.Christian Thiel - 1988 - History and Philosophy of Logic 9 (1):67-75.
A semantical investigation on Brouwer-Zadeh logic.Roberto Giuntini - 1991 - Journal of Philosophical Logic 20 (4):411 - 433.

Analytics

Added to PP
2009-01-28

Downloads
49 (#303,863)

6 months
3 (#760,965)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

A companion to modal logic.G. E. Hughes - 1984 - New York: Methuen. Edited by M. J. Cresswell.

Add more references