On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

A semantic hierarchy for intuitionistic logic

Brouwer’s views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic, and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke semantics on through Beth semantics, topological semantics, Dragalin semantics, and finally to the most general algebraic semantics. While the Kripke, topological, and algebraic semantics have been extensively studied, the Beth and Dragalin semantics have received less attention. We bring Beth and Dragalin semantics to the fore, relating them to the concept of a nucleus from pointfree topology, which provides a unifying perspective on the semantic hierarchy.     

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.     

Existence and uniqueness of stationary solutions to a one-dimensional bipolar hydrodynamic model of semiconductors

We consider a one-dimensional bipolar hydrodynamic model of semiconductors. Although some results exist for the bipolar case, almost their conditions (the boundary condition, the doping profile, etc.) are far from practical application. In the present paper, under a condition appropriate for engineering, we shall prove the existence and the uniqueness of classical solutions for the stationary problem. The most difficult point is to obtain the bounded estimate and the energy estimate.     

The stationary solution of a one-dimensional bipolar quantum hydrodynamic model

In this paper, we consider the existence and uniqueness of stationary solution to the bipolar quantum hydrodynamic model in one dimensional space with general non-constant doping profile. The existence of the stationary solution is proved by Leray-Schauder fixed-point theorem and a crucial truncation technique is used to derive the positive upper and lower bounds of the stationary solution. The uniqueness of the stationary solution is shown by a delicate energy estimate.     

格蕴涵代数的区间值模糊子代数

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与（模糊）格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.     

Relaxation-time limit of the multidimensional bipolar hydrodynamic model in Besov space

In this paper, we study a multidimensional bipolar hydrodynamic model for semiconductors or plasmas. This system takes the form of the bipolar Euler-Poisson model with electric field and frictional damping added to the momentum equations. In the framework of the Besov space theory, we establish the global existence of smooth solutions for Cauchy problems when the initial data are sufficiently close to the constant equilibrium. Next, based on the special structure of the nonlinear system, we also show the uniform estimate of solutions with respect to the relaxation time by the high- and low-frequency decomposition methods. Finally we discuss the relaxation-time limit by compact arguments. That is, it is shown that the scaled classical solution strongly converges towards that of the corresponding bipolar drift-diffusion model, as the relaxation time tends to zero.     

Quasineutral limit of bipolar quantum hydrodynamic model for semiconductors

This paper is concerned with the quasineutral limit of the bipolar quantum hydrodynamic model for semiconductors. It is rigorously proved that the strong solutions of the bipolar quantum hydrodynamic model converge to the strong solution of the so-called quantum hydrodynamic equations as the Debye length goes to zero. Moreover, we obtain the convergence of the strong solutions of bipolar quantum hydrodynamic model to the strong solution of the compressible Euler equations with damping if both the Debye length and the Planck constant go to zero simultaneously.     

Reasoning about proof and knowledge

In previous work [15], we presented a hierarchy of classical modal systems, along with algebraic semantics, for the reasoning about intuitionistic truth, belief and knowledge. Deviating from Gödel's interpretation of IPC in S4, our modal systems contain IPC in the way established in [13]. The modal operator can be viewed as a predicate for intuitionistic truth, i.e. proof. Epistemic principles are partially adopted from Intuitionistic Epistemic Logic IEL [4]. In the present paper, we show that the S5-style systems of our hierarchy correspond to an extended Brouwer–Heyting–Kolmogorov interpretation and are complete w.r.t. a relational semantics based on intuitionistic general frames. In this sense, our S5-style logics are adequate and complete systems for the reasoning about proof combined with belief or knowledge. The proposed relational semantics is a uniform framework in which also IEL can be modeled. Verification-based intuitionistic knowledge formalized in IEL turns out to be a special case of the kind of knowledge described by our S5-style systems.     

A note on asymptotic behavior of solutions for the one-dimensional bipolar Euler-Poisson system

In this note, we consider a one-dimensional bipolar Euler-Poisson system (hydrodynamic model). This system takes the form of Euler-Poisson with electric field and frictional damping added to the momentum equations. When n₊≠n₋, paper [I. Gasser, L. Hsiao, H.-L. Li, Large time behavior of solutions of the bipolar hydrodynamical model for semiconductors, J. Differential Equations 192 (2003) 326-359] discussed the asymptotic behavior of small smooth solutions to the Cauchy problem of the one-dimensional bipolar Euler-Poisson system. Subsequent to [I. Gasser, L. Hsiao, H.-L. Li, Large time behavior of solutions of the bipolar hydrodynamical model for semiconductors, J. Differential Equations 192 (2003) 326-359], we investigate the asymptotic behavior of solutions to the Cauchy problem with , and obtain the optimal convergence rate toward the constant state . We accomplish the proofs by energy estimates and the decay rates of fundamental solutions of the heat-type equations.     

建立模糊诊断矩阵的一种新方法

本文首先提出了一个新的模糊逻辑算子——模糊加权综合算子“#”,进而给出建立模糊诊断矩阵的新方法——网络法 ,并给出了相应的算法     

Gainse-Rescher逻辑系统中的一种降级算法及其性质

在Gainse-Rescher逻辑系统^-C，Gr,Sn中的广义矛盾式之间建立了一种降级算法，并讨论了该降级算法的基本性质。主要结果是：在逻辑系统^-Gr(Gr)中，矛盾式不可能由对非矛盾式进行有限次降级算法得到，在逻辑系统Sn中，对任一公式最多次行n-1次降级算法即可得到矛盾式。     

一种新的粗糙集模型及其应用

提出了一种新的基于区间直觉模糊关系和区间直觉模糊数的粗糙集模型.首先,介绍了区间直觉模糊集,区间直觉模糊关系和区间直觉模糊数等概念.然后,利用区间直觉模糊关系和区间直觉模糊数定义了一种新的粗糙集模型,并给出一些基本性质.最后将该模型应用于临床诊断系统中.实例验证了该粗糙集模型的有效性和实用性.     

Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence

We study hidden-variable models from quantum mechanics and their abstractions in purely probabilistic and relational frameworks by means of logics of dependence and independence, which are based on team semantics. We show that common desirable properties of hidden-variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties and their simultaneous realisability can thus be formulated and proven on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden-variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the ‘no-go’ theorems by Bell and Kochen-Specker and provide a purely logical variant of the latter, introducing non-contextual choice as a team-semantical property.     

Large time behavior of solutions to 1-dimensional bipolar quantum hydrodynamic model for semiconductors

In this article, we study the 1-dimensional bipolar quantum hydrodynamic model for semiconductors in the form of Euler-Poisson equations, which contains dispersive terms with third order derivations. We deal with this kind of model in one dimensional case for general perturbations by constructing some correction functions to delete the gaps between the original solutions and the diffusion waves in L²-space, and by using a key inequality we prove the stability of diffusion waves. As the same time, the convergence rates are also obtained.     

扰动模糊命题逻辑的代数结构及其广义重言式性质

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.     

A model for real-time failure prognosis based on hidden Markov model and belief rule base

As one of most important aspects of condition-based maintenance (CBM), failure prognosis has attracted an increasing attention with the growing demand for higher operational efficiency and safety in industrial systems. Currently there are no effective methods which can predict a hidden failure of a system real-time when there exist influences from the changes of environmental factors and there is no such an accurate mathematical model for the system prognosis due to its intrinsic complexity and operating in potentially uncertain environment. Therefore, this paper focuses on developing a new hidden Markov model (HMM) based method which can deal with the problem. Although an accurate model between environmental factors and a failure process is difficult to obtain, some expert knowledge can be collected and represented by a belief rule base (BRB) which is an expert system in fact. As such, combining the HMM with the BRB, a new prognosis model is proposed to predict the hidden failure real-time even when there are influences from the changes of environmental factors. In the proposed model, the HMM is used to capture the relationships between the hidden failure and monitored observations of a system. The BRB is used to model the relationships between the environmental factors and the transition probabilities among the hidden states of the system including the hidden failure, which is the main contribution of this paper. Moreover, a recursive algorithm for online updating the prognosis model is developed. An experimental case study is examined to demonstrate the implementation and potential applications of the proposed real-time failure prognosis method.     

A Basis in Semi‐Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC

We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi‐reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.     

Some similarity measures of intuitionistic fuzzy sets and their applications to multiple attribute decision making

Atanassov (1986) defined the notion of intuitionistic fuzzy set, which is a generalization of the notion of Zadeh’ fuzzy set. In this paper, we first develop some similarity measures of intuitionistic fuzzy sets. Then, we define the notions of positive ideal intuitionistic fuzzy set and negative ideal intuitionistic fuzzy set. Finally, we apply the similarity measures to multiple attribute decision making under intuitionistic fuzzy environment.