- #1
- 7,861
- 1,598
- TL;DR Summary
- Are the concepts of "quasimanual" and "manual" specific to the study of quantum logic? - or are they more general? - perhaps concepts from "model theory"?
The paper https://www.whitman.edu/Documents/Academics/Mathematics/klipfel.pdf (beginning page 2``1) describes a model for experiments based (it says) on the book An Introduction To Hilbert Space and Quantum Logic https://www.amazon.com/gp/product/1461388430/?tag=pfamazon01-20. This approach defines structures called "quasimanuals" and "manuals". Are these concepts "out of the blue" and specific to the study of quantum logic? Or do similar ideas have longstanding place in formal logic?