动态De Morgan代数的集合表示
逻辑
2018-10-12 v1
摘要
De Morgan代数是指装备有作为否定的反序对合的有限偏序集。这样的代数可视为满足双重否定律的命题逻辑的代数公理化。我们的目标是在每个De Morgan代数中引入所谓的时态算子，以获得满足双重否定律(不必是布尔的)的带否定的时态逻辑的代数对应物。遵循由框架构造时态算子和的标准方法，我们解决如下问题：给定一个动态De Morgan代数，如何找到一个框架，使其时态算子和可通过此构造得到。
引用
@article{arxiv.1810.05086,
title = {Set Representation of Dynamic De Morgan algebras},
author = {Ivan Chajda and Jan Paseka},
journal= {arXiv preprint arXiv:1810.05086},
year = {2018}
}
备注
7 pages