A new axiomatization of unified quantum logic
type: Item
instance of: scholarly article
title: A new axiomatization of unified quantum logic
zbMATH Open document ID: 0786.03046
DOI: 10.1007/BF00671784
author: Mladen Pavičić
published in: International Journal of Theoretical Physics
publication date: 1993-09-30T00:00:00Z
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
zbMATH DE Number: 417101
zbMATH Keywords: axiomatization
zbMATH Keywords: statistical basis
zbMATH Keywords: unified quantum logic
zbMATH Keywords: algebraic semantics
MaRDI profile type: Publication
cites work: Orthoimplication algebras
cites work: Q3258150
cites work: Q3867808
cites work: Q4342085
cites work: Q4128795
cites work: Imbedding of the quantum logic in the modal system of Brower
cites work: Quantum logic as an implication algebra
cites work: Equationally definable implication algebras for orthomodular lattices
cites work: SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
cites work: Semantic analysis of orthologic
cites work: Orthomodularity is not elementary
cites work: Orthomodular lattices admitting no states
cites work: Stalnaker conditionals and quantum logic
cites work: An axiom system for orthomodular quantum logic
cites work: Q3026978
cites work: Orthomodular Logic
cites work: Varieties of orthomodular lattices related to states
cites work: Equational bases for some varieties of orthomodular lattices related to states
cites work: There is a probabilistic semantics for every extension of classical sentence logic
cites work: Q3718714
cites work: Sequential method in quantum logic
cites work: Minimal quantum logic with merged implications
cites work: Bibliography on quantum logics and related structures
cites work: Q4100556
cites work: Orthomodular lattices as implication algebras
cites work: Generalized normal logic
description: scientific article; zbMATH DE number 417101