模糊集与系统(Fuzzy Sets and Systems)杂志一直致力于模糊集与系统理论与应用的国际发展。模糊集理论现在包含了一个组织良好的基本概念语料库,包括(不限于)聚集运算、关系的广义理论、信息内容的具体度量、模糊数的计算。模糊集也是非加性不确定性理论,即可能性理论的基石,也是语言和数值建模的通用工具:基于规则的模糊系统的基石。现在许多著作将模糊概念与其他科学学科以及现代技术结合起来。 官网地址: http://dblp.uni-trier.de/db/journals/fss/

最新论文

In this paper we study some fragments without implications of the (Hilbert) full Lambek logic $\mathbf{HFL}$ and also some fragments without implications of some of the substructural extensions of that logic. To do this, we perform an algebraic analysis of the Gentzen systems defined by the substructural calculi $\FL_\sigma$. Such systems are extensions of the full Lambek calculus $\FL$ with the rules codified by a subsequence, $\sigma$, of the sequence $e w_l w_r c$; where $e$ stands for \emph{exchange}, $w_l$ for \emph{left weakening}, $w_r$ for \emph{right weakening}, and $c$ for \emph{contraction}. We prove that these Gentzen systems (in languages without implications) are algebraizable by obtaining their equivalent algebraic semantics. All these classes of algebras are varieties of pointed semilatticed monoids and they can be embedded in their ideal completions. As a consequence of these results, we reveal that the fragments of the Gentzen systems associated with the calculi $\FL_\sigma$ are the restrictions of them to the sublanguages considered, and we also reveal that in these languages, the fragments of the external systems associated with $\FL[\sigma]$ are the external systems associated with the restricted Gentzen systems (i.e., those obtained by restriction of $\FL_\sigma]$ to the implication-less languages considered). We show that all these external systems without implication have algebraic semantics but they are not algebraizable (and are not even protoalgebraic). Results concerning fragments without implication of intuitionistic logic without contraction were already reported in Bou et al.(2006): On two fragments with negation and without implication of the logic of residuated lattices. Archive for Mathematical Logic 45(5) and in Adill\'on et al. (2007): On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems 158(23).

0
0
下载
预览
参考链接
Top