Detailed Information on Publication Record
2016
Galois connections and tense operators on q-effect algebras
CHAJDA, Ivan and Jan PASEKABasic information
Original name
Galois connections and tense operators on q-effect algebras
Authors
CHAJDA, Ivan (203 Czech Republic) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution)
Edition
Fuzzy Sets and Systems, AMSTERDAM, ELSEVIER SCIENCE BV, 2016, 0165-0114
Other information
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10101 Pure mathematics
Country of publisher
Netherlands
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 2.718
RIV identification code
RIV/00216224:14310/16:00088576
Organization unit
Faculty of Science
UT WoS
000376779800005
Keywords in English
Effect algebra; q-Effect algebra; Galois q-connection; q-Tense operators; q-Jauch-Piron q-effect algebra; q-Representable q-effect algebra
Tags
International impact, Reviewed
Změněno: 6/4/2017 16:43, Ing. Andrea Mikešková
Abstract
V originále
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. (c) 2015 Elsevier B.V. All rights reserved.
Links
EE2.3.20.0051, research and development project |
| ||
GA15-15286S, research and development project |
|