Studia Logica 46 (1):17 - 35 (1987)

This paper will take into account the Lindenbaum property in Orthomodular Quantum Logic (OQL) and Partial Classical Logic (PCL). The Lindenbaum property has an interest both from a logical and a physical point of view since it has to do with the problem of the completeness of quantum theory and with the possibility of extending any semantically non-contradictory set of formulas to a semantically non-contradictory complete set of formulas. The main purpose of this paper is to show that both OQL and PCL cannot satisfy the Lindenbaum property.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00396903
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,704
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Semantic Analysis of Orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
22 ( #449,049 of 2,340,027 )

Recent downloads (6 months)
2 ( #334,980 of 2,340,027 )

How can I increase my downloads?


My notes