直觉模糊命题逻辑的广义拟重言式及其分类

通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I20, ,V,→T),讨论了系统I20上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.     

Relating Categorical Semantics for Intuitionistic Linear Logic

There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationship between three of these linear typed calculi and their models. We point out that mere soundness and completeness of a linear typed calculus with respect to a class of categorical models are not sufficient to identify the most appropriate class uniquely. We recommend instead to use the notion of internal language when relating a typed calculus to a class of models. After clarifying the internal languages of the categories of models in the literature we relate these models via reflections and coreflections. Mathematics Subject Classifications (2000) 03G30, 03B15, 18C50, 03B20.     

Constants in Kripke Models for Intuitionistic Logic

We present a technique to extend a Kripke structure (for intuitionistic logic) into an elementary extension satisfying some property (cardinality, saturation, etc.) which can be “axiomatized” by a family of sets of sentences, where, most often, many constant symbols occur. To that end, we prove extended theorems of completeness and compactness. Also, a section of the paper is devoted to the back-and-forth construction of isomorphisms between Kripke structures.     

模糊数直觉模糊集

定义一种新的模糊数直觉模糊集,同时给出了它的一些运算,并讨论了它与直觉模糊集、区间值直觉模糊集的关系。     

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.     

区间直觉模糊集多属性决策方法

定义了区间直觉模糊集的加权算子和加权几何集成算子,介绍了现有的区间直觉模糊集的得分函数和精确函数.定义了一个新的精确函数,此函数弥补了已有函数的不足和缺陷,应用新定义的精确函数,提出了对区间直觉模糊集多属性决策问题进行决策的方法.最后以应用实例对该方法进行说明和验证.     

支撑模糊集合转换的模糊逻辑是伪逻辑

模糊逻辑系统用模糊集合描述模糊信息、用模糊集合转换处理模糊信息.阐述支撑模糊集合转换的模糊逻辑为什么是伪逻辑的原因.指出定义在论域一个空间上的模糊集合,因为破坏了集合中元素的"不可分割性",所以模糊集合描述的模糊信息不能用数学计算通过模糊集合转换处理.实际应用中的模糊信息定义在论域与状态空间两个空间上,其正确表达方式是满足"归一化"条件的隶属度向量;处理的正确途径是,研究基于状态转移矩阵的隶属度转换;支撑隶属度转换的是近似推理逻辑,目的是使构建的隶属度转换模型是当前条件下人们可能构建的"最优"近似模型.     

模糊综合评判加权平均模型的误导性阐释

模糊综合评判在不能界定隶属度转换是线性转换条件下,硬性用加权平均线性模型实现隶属度转换.通过揭示指标隶属度中通常包含确定目标隶属度不起作用的非线性冗余值,建立区分权滤波的冗余理论,用冗余理论界定隶属度转换不是线性转换,并构建近似推理逻辑支撑的隶属度转换模型.阐述所建模型为什么是当前条件下人们能构建的最优近似模型.当指标隶属度只取1或0两个值时模型将退化成模糊综合评判的"加权平均"模型.     

凸直觉模糊映射

在模糊数、凸模糊映射和凸直觉模糊集定义基础上,给出了直觉模糊数及其序的定义,给出了凸直觉模糊映射的定义并讨论其有关性质,在此基础上,研究了凸直觉模糊规划问题。     

基于二元关系的直觉模糊近似空间与直觉模糊拓扑

讨论在一般二元关系下直党模糊近似空间诱导的直党模糊拓扑空问的若干性质;由直觉模糊拓扑空间诱导直觉模糊近似空同所需的TC条件及其所得近似空间的近似算子若干性质.     

直觉模糊变换半群

首先定义了直觉模糊变换半群的概念,给出了一种特殊的直觉模糊变换半群.其次,引入了直觉模糊变换半群上的直觉容许关系,讨论了两个直觉模糊变换半群间的关系,为直觉模糊有限自动机进一步的理论研究提供了代数方法.     

Intuitionistic Fuzzy Soft K-Algebras

Intuitionistic fuzzy sets and soft sets are two different soft computing models for representing vagueness and uncertainty. We apply these soft computing models in combination to study vagueness and uncertainty in K-algebras. We first introduce the notion of ${(\in, \in\vee q)}$ -intuitionistic fuzzy K-algebras and discuss some of their properties. Then we introduce intuitionistic fuzzy soft K-algebras and investigate some of their properties. Finally, we introduce ${(\in, \in \vee q)}$ -intuitionistic fuzzy soft K-algebras and present some of their related properties.     

Intuitionistic Fuzzy Slight Continuity

In this paper,we introduce the notion of intuitionistic fuzzy slightly continuity as a generalizing fuzzy continuity.Basic properties and preservation theorems of intuitionistic fuzzy slightly continuous functions are obtained.     

Intuitionistic Fuzzy Automaton for Approximate String Matching

This paper introduces an intuitionistic fuzzy automaton model for computing the similarity between pairs of strings. The model details the possible edit operations needed to transform any input (observed) string into a target (pattern) string by providing a membership and non-membership value between them. In the end, an algorithm is given for approximate string matching and the proposed model computes the similarity and dissimilarity between the pair of strings leading to better approximation.     

模糊多属性决策的直觉模糊集方法

基于直觉模糊集理论,提出了一种新的TOPSIS方法来研究模糊多属性决策问题。首先,根据直觉模糊集的几何意义,定义了两个直觉模糊集之间的距离,且每个备选方案的评价值用直觉模糊值表示;然后,根据TOPSIS原理,通过计算备选方案到直觉模糊正理想解和负理想解的距离,来确定备选方案的综合评价指数,以此判断方案的优劣次序。最后,通过一个具体实例说明该方法的有效性和具体应用过程。     

The Rough Intuitionistic Fuzzy Ideals of Intuitionistic Fuzzy Subrings in a Commutative Ring

The aim of this paper is to give some definitions of rough intuitionistic fuzzy ideal, rough intuitionistic fuzzy radical, rough prime (primary) intuitionistic fuzzy ideal and rough semiprime intuitionistic fuzzy ideal of an intuitionistic fuzzy subring, and also to give some properties of such ideals. Moreover, we give their nature under homomorphism.     

直觉模糊集的广义模糊熵

利用模糊补定义了直觉模糊集的广义补集,并讨论了直觉模糊集广义补集的一些性质。在此基础上,给出了直觉模糊集广义模糊熵的公理化定义及几个直觉模糊集广义模糊熵的具体计算公式。此外,本文还研究了直觉模糊集的广义模糊熵与相似性测度之间的关系。