Transition operators assigned to physical systems
From MaRDI portal
Galois correspondences, closure operators (in relation to ordered sets) (06A15) Quantum logic (03G12) Complete lattices, completions (06B23) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Logical aspects of lattices and related structures (03G10) Logical aspects of Boolean algebras (03G05)
Abstract: By a physical system we recognize a set of propositions about a given system with their truth-values depending on the states of the system. Since every physical system can go from one state in another one, there exists a binary relation on the set of states describing this transition. Our aim is to assign to every such system an operator on the set of propositions which is fully determined by the mentioned relation. We establish conditions under which the given relation can be recovered by means of this transition operator.
Recommendations
Cites work
- scientific article; zbMATH DE number 6688177 (Why is no real title available?)
- scientific article; zbMATH DE number 1028831 (Why is no real title available?)
- Dynamic effect algebras and their representations
- Dynamic order algebras as an axiomatization of modal and tense logics
- Effect algebras and unsharp quantum logics.
- Lattices and ordered algebraic structures
Cited in
(2)
This page was built for publication: Transition operators assigned to physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744694)
