首页> 外文期刊>Algebra and logic >Branching-time type operators on finite pseudo-Boolean algebras
【24h】

Branching-time type operators on finite pseudo-Boolean algebras

机译:有限伪布尔代数上的分支时间类型算子

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

Branching-time type operators on pseudo-Boolean algebras (PBAs) are considered. It is proved that on a finite PBA, every operator of this type is defined by a subset of points on a finite frame presenting that PBA.
机译:考虑伪布尔代数(PBA)上的分支时间类型算子。事实证明,在有限的PBA上,这种类型的每个算子都由表示该PBA的有限帧上的点子集定义。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号