QUANTUM LOGICS

QUANTUM LOGICS

Cached

Download Links

by Maria Luisa , Dalla Chiara , Roberto Giuntini

BibTeX

@MISC{Luisa_quantumlogics,
    author = {Maria Luisa and Dalla Chiara and Roberto Giuntini},
    title = {QUANTUM LOGICS},
    year = {}
}

Bookmark

OpenURL

Abstract

2 Orthomodular quantum logic and orthologic 11 3 The implication problem 22 4 Metalogical properties and anomalies 28

Citations

541	Linear Logic - Girard - 1987
458	Lattice Theory - Birkhoff - 1967
340	Quantum Theory of Open Systems - Davies - 1976
231	The logic of quantum mechanics - Birkhoff, Neumann - 1936
124	Mathematical foundations of quantum mechanics - Mackey - 1963
107	Orthomodular Lattices - Kalmbach - 1983
88	The logic of Quantum mechanics - Beltrametti, Cassinelli - 1981
70	Effects and Operations - Kraus, States - 1983
60	Orthomodular Structures as Quantum Logics (Dordrecht - Ptak, Pulmannova - 1991
54	K.: Effect algebras and unsharp quantum logics - Foulis, Bennett - 1994
49	Quantum logic - Chiara, Giuntini - 2001
44	Algebraic analysis of many valued logics - Chang - 1958
37	Slomson, Models and Ultraproducts: an Introduction - Bell, B - 1971
30	Semantic analysis of orthologic - Goldblatt - 1974
24	Characterization of hilbert spaces by orthomodular spaces - Solèr - 1995
15	A.: Ein nicht-klassischer Hilbertscher - Keller - 1980
14	Quantum logic as an implication algebra - Finch - 1970
13	Basic logic: reflection, symmetry, visibility - Sambin, Battilotti, et al. - 1998
10	Basic logic and the cube of its extensions - Battilotti, Sambin - 1996
10	Orthomodularity is not elementary - Goldblatt - 1984
9	Brouwer-Zadeh posets and three-valued ̷Lukasiewicz posets, Fuzzy Sets and Systems - Cattaneo, Nisticò - 1989
9	From basic logic to quantum logics with cut elimination - C, Sambin - 1997
9	Is logic empirical - Putnam - 1969
9	A new elementary method to represent every complete Boolean algebra - Sambin - 1996
7	A regular sequent calculus for quantum logic in which ∧ and ∨ are dual, Logique et Analyse - Nouvelle Serie - Cutland, Gibbins - 1982
7	Sequential method in quantum logic - Nishimura - 1980
6	The Schrödinger problem - Costa, A, et al. - 1992
6	Particles and Paradoxes - The Limits of Quantum Logic - Gibbins - 1987
6	Quantum set theory, in - Takeuti - 1981
5	Some metalogical pathologies of Quantum Logic - Chiara, L - 1981
5	Semantics of the minimal logic of quantum mechanics - Dishkant - 1972
5	Basic logic and linear negation: a new approach to orthologic - Faggian - 1996
5	A Non-Standard Quantum Logic with a Strong Set of States, in Current issues in quantum logic, (Proceedings of the Workshop on Quantum Logic held in - Greechie
5	The conditional in quantum logic - Hardegree - 1976
5	A Gentzen formulation without the cut rule for ortholattices, Kobe - Tamura - 1988
4	Introduction to quantum logic, unpublished - Dummett - 1976
3	Basic logic through the reflection principle - Battilotti - 1997
3	Individuals, kinds and names in physics - Chiara, L, et al. - 1993
3	Classical proofs via basic logic - Faggian - 1997
3	A semantical investigation on Brouwer-Zadeh logic - Giuntini - 1991
3	Su certe algebre connesse con logiche a più valori - Mangani - 1973
3	Angle bisection and orthoautomorphisms in Hilbert lattices - Morash - 1973
3	Basic logic, a structure in the space of logic, in preparation - Sambin - 1997
2	Embedding classical logic into basic orthologic with a primitive modality - unknown authors - 1997
2	Axiomatic unsharp quantum mechanics - Cattaneo, Laudisa - 1994
2	The logics of orthoalgebras, Studia Logica 55 - Chiara, L, et al. - 1995
2	D-test spaces and difference poset - Dvurečenskij, Pulmannová - 1994
2	A user-friendly quantum logic - Gibbins - 1985
2	Brouwer-Zadeh logic, decidability and bimodal systems - Giuntini - 1992
2	Three-valued Brouwer-Zadeh logic - Giuntini - 1993