The deduction theorem for quantum logic—some negative results
From MaRDI portal
Publication:3480040
DOI10.2307/2274651zbMath0702.03039OpenAlexW2152776731MaRDI QIDQ3480040
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274651
Related Items
The quasi-lattice of indiscernible elements ⋮ Strong versus weak quantum consequence operations ⋮ Natural deduction for quantum logic ⋮ A theory of computation based on quantum logic. I ⋮ Weakly algebraizable logics ⋮ Some properties of orthologics
Cites Work
This page was built for publication: The deduction theorem for quantum logic—some negative results