• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >On the Logical Formalization of Possibilistic Counterparts of States over w-valued Lukasiewicz Events
【24h】

On the Logical Formalization of Possibilistic Counterparts of States over w-valued Lukasiewicz Events

机译：关于w值Lukasiewicz事件的国家可能对口的逻辑形式化

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

摘要

Possibility and necessity measures are commonly defined over Boolean algebras. This work considers a generalization of these kinds of measures over MV-algebras as a possibilistic counterpart of the (probabilistic) notion of state on MV-algebras. Two classes of possibilistic states over MV-algebras of functions are characterized in terms of (generalized) Sugeno integrals. For reasoning about these representable classes of possibilistic states, we introduce many-valued modal logics based on the Rational Lukasiewicz Logic, that are shown to be complete with respect to corresponding classes of Kripke models equipped with those states.
机译：通常在布尔代数上定义可能性和必要性度量。这项工作考虑了对MV代数的这类度量的一般化，作为MV代数的（概率）状态概念的可能对应。函数的MV代数上的两类可能状态以（广义）Sugeno积分为特征。为了对这些可能状态的可表示类进行推理，我们引入了基于有理Lukasiewicz逻辑的多值模态逻辑，这些逻辑对于配备了这些状态的Kripke模型的相应类而言是完全的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号