模糊模态逻辑中的永真式与准永真式

胡明娣;王国俊;

电子学报 ›› 2009, Vol. 37 ›› Issue (11) : 2484-2488.

PDF(2621 KB)
PDF(2621 KB)
电子学报 ›› 2009, Vol. 37 ›› Issue (11) : 2484-2488.
论文

模糊模态逻辑中的永真式与准永真式

  • 胡明娣1,3, 王国俊1,2
作者信息 +

Tautologies and Quasi-Tautologies in Fuzzy Modal Logic

  • HU Ming-di1,3, WANG Guo-jun1,2
Author information +
文章历史 +

摘要

研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合£*系统构造出了一类永真式和准永真式.

Abstract

Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated.It is proved that modal tautologies are logically valid but not vice versa;Based on a class of continuous binary relations,the concept of quasi-tautology is introduced in fuzzy modal logic,basic properties of quasi-tautologies is obtained,and a class of tautologies and quasi-tautologies are constructed by means of theorems in the logic system £*.

关键词

模糊模态逻辑 / 基本模态逻辑 / 永真式 / 有效公式 / 准永真式 / 模态逻辑系统M£*

Key words

fuzzy modal logic / basic modal logic / tautology / valid formula / quasi-tautology / modal logic system M£*

引用本文

导出引用
胡明娣;王国俊;. 模糊模态逻辑中的永真式与准永真式[J]. 电子学报, 2009, 37(11): 2484-2488.
HU Ming-di;WANG Guo-jun;. Tautologies and Quasi-Tautologies in Fuzzy Modal Logic[J]. Acta Electronica Sinica, 2009, 37(11): 2484-2488.
中图分类号: O159   

基金

国家自然科学基金 ( No. 10771129); 陕西师范大学研究生培养创新基金 (No.2009CXB006)
PDF(2621 KB)

1856

Accesses

0

Citation

Detail

国家自然科学基金( No. 10771129);陕西师范大学研究生培养创新基金(No.2009CXB006)
段落导航
相关文章

/