Galois connections and tense operators on q-effect algebras

DOI10.1016/J.FSS.2015.05.010MaRDI QIDQ1677935zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Jan Paseka

Publication date 14 November 2017

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.03773

zbMATH Keywords

effect algebraGalois q-connectionJauch-Piron q-stateq-effect algebraq-representable q-effect algebraq-tense operators

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: For effect algebras, the so-called tense operators were already introduced by Chajda and Paseka. They presented also a canonical construction of them using the notion of a time frame. Tense operators express the quantifiers "it is always going to be the case that" and "it has always been the case that" and hence enable us to express the dimension of time both in the logic of quantum mechanics and in the many-valued logic. A crucial problem concerning tense operators is their representation. Having an effect algebra with tense operators, we can ask if there exists a time frame such that each of these operators can be obtained by the canonical construction. To approximate physical real systems as best as possible, we introduce the notion of a q-effect algebra and we solve this problem for q-tense operators on q-representable q-Jauch-Piron q-effect algebras.

Recommendations

• Dynamic effect algebras and their representations
• How to produce S-tense operators on lattice effect algebras
• A dynamic effect algebras with dual operation
• Dynamic effect algebras
• Tense operators on basic algebras

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• A dynamic effect algebras with dual operation
• Algebraic axiomatization of tense intuitionistic logic
• Algebraic foundations of many-valued reasoning
• Basic decomposition of elements and Jauch-Piron effect algebras
• Constructive modal logics. I
• Dynamic effect algebras
• Dynamic effect algebras and their representations
• Effect algebras and unsharp quantum logics.
• Homogeneous orthocomplete effect algebras are covered by MV-algebras
• How to produce S-tense operators on lattice effect algebras
• Intuitionistic tense and modal logic
• On tense MV-algebras
• Operators on MV-algebras and their representations.
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras

Cited in

(6)

• Tense operators on basic algebras
• Tense logic based on finite orthomodular posets
• How to produce S-tense operators on lattice effect algebras
• Dynamic effect algebras and their representations
• Dynamic effect algebras
• A dynamic effect algebras with dual operation

This page was built for publication: Galois connections and tense operators on q-effect algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1677935)