The Conditional in Abstract and Concrete Quantum Logic
- 1 January 1979
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 37 references indexed in Scilit:
- Quantum logic with implication.Notre Dame Journal of Formal Logic, 1979
- Imbedding of the quantum logic in the modal system of BrowerThe Journal of Symbolic Logic, 1977
- Implication connectives in orthomodular lattices.Notre Dame Journal of Formal Logic, 1975
- Modal propositional logic on an orthomodular basis. IThe Journal of Symbolic Logic, 1974
- Orthomodular LogicMathematical Logic Quarterly, 1974
- An axiomatisation of quantum logicThe Journal of Symbolic Logic, 1973
- Sasaki projections on orthocomplemented posetsBulletin of the Australian Mathematical Society, 1969
- Some structure results for propositional calculiThe Journal of Symbolic Logic, 1965
- Baer ∗ -SemigroupsProceedings of the American Mathematical Society, 1960
- The permutability in a certain orthocomplemented latticeKodai Mathematical Journal, 1957