Journal of Philosophical Logic 7 (1):347 - 386 (1978)

Abstract
In a preceding paper [1] it was shown that quantum logic, given by the tableaux-calculus Teff, is complete and consistent with respect to the dialogic foundation of logics. Since in formal dialogs the special property of the 'value-definiteness' of propositions is not postulated, the calculus $T_{eff}$ represents a calculus of effective (intuitionistic) quantum logic. Beginning with the tableaux-calculus the equivalence of $T_{eff}$ to calculi which use more familiar figures such as sequents and implications can be investigated. In this paper we present a sequents-calculus of Gentzen-type and a propositional calculus of Brouwer-type which are shown to be equivalent to $T_{eff}$ . The effective propositional calculus provides an interpretation for a lattice structure, called quasi-implicative lattice. If, in addition, the value-definiteness of quantum mechanical propositions is postulated, a propositional calculus is obtained which provides an interpretation for a quasi-modular orthocomplemented lattice which, as is well-known, has as a model the lattice of subspaces of a Hilbert space
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00245934
Options
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: 72,607
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 Principle of Excluded Middle in Quantum Logic.P. Mittelstaedt & E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):181 - 208.

Add more references

Citations of this work BETA

Matrix-Based Logic for Application in Physics.Paul Weingartner - 2009 - Review of Symbolic Logic 2 (1):132-163.
How Does Quantum Logic Correspond to Physical Reality?Ernst-Walther Stachow - 1977 - Journal of Philosophical Logic 6 (1):485 - 496.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
81 ( #146,452 of 2,533,629 )

Recent downloads (6 months)
3 ( #199,500 of 2,533,629 )

How can I increase my downloads?

Downloads

My notes