计算机科学 ›› 2008, Vol. 35 ›› Issue (9): 230-232.

• • 上一篇    下一篇

基于语言真值格值命题逻辑系统lvpl的推理规则

  

  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    国家自然科学基金资助项目(编号:60474022),教育部博士点专项基金资助项目(编号:20060613007).

  • Online:2018-11-16 Published:2018-11-16

摘要: 一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lvpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。

关键词: 语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性

Abstract: In general,the selection for rules of reasoning are more important in some practical applications of logic system. In this paper,some rules of reasoning based on linguistic truth-valued lattice value propositional logic system lvp1 are proposed. They comp

Key words: Linguistic truth-valued LIA, Linguistic truth value lattice-valued propositional logic, Rules of reasoning, Closed

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!