Quantum logics and Lindenbaum property
β
Roberto Giuntini
π
Article
π
1987
π
Springer Netherlands
π
English
β 995 KB
This paper will t~ke into account the Lindenbaum property in 0rthomodular Quantum Logic (OQL) and Partial Classical Logic (PCL). Tho Lindenbaum property has an interes~ both from a logical and a physical poin~ of view since i~ has to do with the problem of the completeness of quantum theory and with