q-效应代数上的 Galois 联络与时态算子
逻辑
2018-09-12 v1
摘要
对于效应代数，Chajda 和 Paseka 已经引入了所谓的时态算子。他们还利用时间框架的概念给出了一种典范构造。时态算子表达了量词“将来总是如此”和“过去一直如此”，从而使我们能够在量子力学逻辑和多值逻辑中表达时间维度。关于时态算子的一个关键问题是其表示。给定一个带时态算子的效应代数，我们可以问是否存在一个时间框架，使得这些算子中的每一个都能通过该典范构造得到。为了尽可能逼近物理真实系统，我们引入了 q-效应代数的概念，并在 q-可表示的 q-Jauch-Piron q-效应代数上解决了 q-时态算子的这一问题。
引用
@article{arxiv.1809.03773,
title = {Galois connections and tense operators on q-effect algebras},
author = {Ivan Chajda and Jan Paseka},
journal= {arXiv preprint arXiv:1809.03773},
year = {2018}
}
备注
14 pages