论文部分内容阅读
该文基于格蕴涵代数和L－值命题逻辑L〈，vfl〉，建立了两种类型的分层L-型格值一阶逻辑系统L〈，vfl〉，研究了它们语义、语法和紧性问题，证明了两种类型Lvfl的L-型α—可靠性、(α，β)完备性、(α，β)—协调性和（α，β，θ)一演绎定理。
L-值—阶逻辑Lvfl
【摘 要】
：
该文基于格蕴涵代数和L－值命题逻辑L〈，vfl〉，建立了两种类型的分层L-型格值一阶逻辑系统L〈，vfl〉，研究了它们语义、语法和紧性问题，证明了两种类型Lvfl的L-型α—可靠性、(α，β)
【机 构】
：
交通大学应用数学系(成都)
【出 处】
：
第八届全国多值逻辑与模糊逻辑学术会议
【发表日期】
：
1998年期
其他文献
双曲贴现偏好所引起的时间不一致性对于分析有效的风险分担非常重要.本文分析了在不完全承诺的环境下委托人与具有双曲贴现偏好的代理人之间的有效风险共担问题.本文结果表明
本文以Brander-Spencer (1985)模型为基础,分别在Cournot竞争和Bertrand竞争情况下研究消费减污R&D投资与产品消费排污的关系.研究发现:(1)无论是Cournot竞争还是Bertrand竞
本文分析了我国企业债券发展滞后的现状及其形成原因,展望了企业债券的发展良机,提出了发展企业债券的建议。
This paper analyzes the status quo and causes of the laggi
彼得原理认为,晋升后劳动者的绩效可能出现下降.为了检验彼得原理在国内学术领域是否成立,本文利用国内某所高校的教师数据分析了教师职称晋升对他们科研、教学和总绩效的影
本文基于城市集聚和个体偏好视角,构建了城市“抢人”和“留人”机制的空间经济框架,进而采用CHIP2013微观调查数据和城市数据进行实证检验.结果 显示:(1)城市规模、公共服务
腐败的形成受正式制度和非正式制度的共同影响,然而现有研究更多地关注正式制度对腐败的影响,对非正式制度在腐败形成过程中的作用则关注不够.本文则从宗教这一非正式制度为
对香茹栽培中一种杂菌Ｍ．８２４的Ｎ、Ｃ源选择性试验，以及它与几种食用菌的菌丝生长对比试验。研究表明，Ｍ．８２４对不同的Ｎ、Ｃ源的强烈的选择性。生长速度大大高于常见的杂菌和食用菌。Ｍ．８２４是一种竞争性极
本文基于中国家庭追踪调查数据(CFPS),通过倾向性得分匹配法构建计量模型,就我国农村父母外出务工对留守子女基础教育的影响展开实证分析.研究发现,父母外出务工对留守子女的