Brouwer-Zadeh logic, decidability and bimodal systems
type: Item
instance of: scholarly article
title: Brouwer-Zadeh logic, decidability and bimodal systems
zbMATH Open document ID: 0763.03032
DOI: 10.1007/BF00370333
author: Roberto Giuntini
published in: Studia Logica
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 63835
zbMATH Keywords: quantum logic with two negations
zbMATH Keywords: Brouwer-Zadeh logic
zbMATH Keywords: finite model property
zbMATH Keywords: bimodal system
zbMATH Keywords: Brouwer-Zadeh frames
MaRDI profile type: Publication
cites work: Brouwer-Zadeh posets and three-valued Łukasiewicz posets
cites work: Q4342085
cites work: Q3026978
description: scientific article; zbMATH DE number 63835