Galois connections and tense operators on q-effect algebras

DOI10.1016/J.FSS.2015.05.010zbMATH Open1387.03071arXiv1809.03773OpenAlexW827298246MaRDI QIDQ1677935FDOQ1677935

Authors: Ivan Chajda, Jan Paseka 

Publication date: 14 November 2017

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

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.

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

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

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)

Cites Work

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

Cited In (6)

• Tense logic based on finite orthomodular posets
• Tense operators on basic algebras
• 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)