...
首页> 外文期刊>Fuzzy sets and systems >Truth-depressing hedges and BL-logic
【24h】

Truth-depressing hedges and BL-logic

机译:压低真理的树篱和BL-logic

获取原文
获取原文并翻译 | 示例
           

摘要

We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives formalize linguistic hedges like "slightly true" and "more or less". We follow ideas of [P. Hajek, On very true, Fuzzy Sets and Systems 124 (2001) 329-333] and show that BL_(vt)-logic can be enriched by a unary connective for which we can establish strong completeness with respect to the desired interpretation.
机译:我们展示了由单调和超对角真函数解释的一元连接词的完全公理化,即所谓的压抑真值的树篱。这些连接词将语言对冲形式化,例如“稍微真实”和“或多或少”。我们遵循[P. Hajek,关于非常真实的模糊集和系统124(2001)329-333],并表明BL_(vt)-logic可以通过一元连接词来丰富,对于我们想要的解释,我们可以为它建立强完整性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号