Brouwer-Zadeh logic, decidability and bimodal systems

DOI10.1007/BF00370333zbMath0763.03032MaRDI QIDQ1194108

Roberto Giuntini

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

finite model propertybimodal systemBrouwer-Zadeh logicBrouwer-Zadeh framesquantum logic with two negations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Quantum logic (03G12)

Related Items (2)

Three-valued Brouwer-Zadeh logic ⋮ Fuzzy quantum logic. II: The logics of unsharp quantum mechanics

Cites Work

• Brouwer-Zadeh posets and three-valued Łukasiewicz posets
• Unnamed Item
• Unnamed Item

This page was built for publication: Brouwer-Zadeh logic, decidability and bimodal systems