• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Fuzzy sets and systems >The Renyi-Ulam games and many-valued logics
【24h】

The Renyi-Ulam games and many-valued logics

机译：Renyi-Ulam游戏和多值逻辑

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper we introduce complete game semantics for Product, Godel, BL and SBL logics (game semantics for Lukasiewicz logic are well-known). For each of these logics we introduce a variant of the Renyi-Ulam game whose states are equipped in a natural way with an algebraic structure. Moreover we prove that each logic is complete with respect to the algebras of the states for the corresponding game. (C) 2015 Elsevier B.V. All rights reserved.
机译：在本文中，我们介绍了Product，Godel，BL和SBL逻辑的完整游戏语义（Lukasiewicz逻辑的游戏语义是众所周知的）。对于这些逻辑中的每一个，我们介绍Renyi-Ulam游戏的一种变体，其状态以自然的方式配备有代数结构。此外，我们证明了关于相应游戏状态代数的每个逻辑都是完整的。 （C）2015 Elsevier B.V.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号