PhilSci Archive

Constructible Models of Orthomodular Quantum Logics.

WILCZEK, Piotr (2008) Constructible Models of Orthomodular Quantum Logics. [Preprint]

[img]
Preview
PDF
CONSTRUCTIBLE_MODELS_OF_ORTHOMODULAR_QUANTUM_LOGICS._P._wILCZEK.pdf

Download (244kB)

Abstract

We continue in this article the abstract algebraic treatment of quantum sentential logics <cite>Wil</cite>. The Notions borrowed from the field of Model Theory and Abstract Algebraic Logic - AAL (i.e., consequence relation, variety, logical matrix, deductive filter, reduced product, ultraproduct, ultrapower, Frege relation, Leibniz congruence, Suszko congruence, Leibniz operator) are applied to quantum logics. We also proved several equivalences between state property systems (Jauch-Piron-Aerts line of investigations) and AAL treatment of quantum logics (corollary 18 and 19). We show that there exist the uniquely defined correspondence between state property system and consequence relation defined on quantum logics. We also signalize that a metalogical property - Lindenbaum property does not hold for the set of quantum logics.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
WILCZEK, Piotr
Additional Information: This article will appear in International Journal of Theoretic Physics
Keywords: abstract algebraic logic (AAL); model theory; consequence relation; logical matrix; Sasaki deductive filter; state of experimental provability; state property system; orthogonality relation; Lindenbaum property
Subjects: Specific Sciences > Physics > Quantum Mechanics
Depositing User: Piotr WILCZEK
Date Deposited: 23 May 2008
Last Modified: 07 Oct 2010 15:16
Item ID: 4032
Subjects: Specific Sciences > Physics > Quantum Mechanics
Date: May 2008
URI: https://philsci-archive.pitt.edu/id/eprint/4032

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item