基于语言真值格值命题逻辑系统(e)vpl的推理规则

摘要：

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

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

所属期刊栏目：35

分类号：H31;TH7

资助基金：国家自然科学基金资助项目60474022;教育部博士点专项基金资助项目20060613007

在线出版日期：2008-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：230-232