Computing with Cylindric Modal Logics and Arrow Logics,Lower Bounds

The complexity of the satisfiability problems of various arrow logics and cylindric modal logics is determined. As is well known, relativising these logics makes them decidable. There are several parameters that can be set in such a relativisation. We focus on the following three: the number of variables involved, the similarity type and the kind of relativised models considered. The complexity analysis shows the importance and relevance of these parameters.     

An Elementary Construction for a Non-elementary Procedure

We consider the problem of the product finite model property for binary products of modal logics. First we give a new proof for the product finite model property of the logic of products of Kripke frames, a result due to Shehtman. Then we modify the proof to obtain the same result for logics of products of Kripke frames satisfying any combination of seriality, reflexivity and symmetry. We do not consider the transitivity condition in isolation because it leads to infinity axioms when taking products.     

我国医疗机构产权制度改革的实践与思考

产权制度改革是医疗机构适应市场经济发展的必由之路.就改革过程中出现的一些如国有资产流失、交易费用过高、民营医院不公正待遇、如何妥善安排富余人员等问题进行了分析,并提出了相应的对策;纠正了一些有关医疗机构产权制度改革认识上的误区.     

Products of Classes of Residuated Structures

The central result of this paper provides a simple equational basis for the join, IRLLG, of the variety LG of lattice-ordered groups (-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRLLG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×_s LG, consisting of all semi-direct products of members of IRL by members of LG. We conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products.     

Free Modal Lattices via Priestley Duality

A Priestley duality is developed for the variety j of all modal lattices. This is achieved by restricting to j a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety j was first studied by R. Beazer in 1986.The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier.     

Quantum Logic in Intuitionistic Perspective

In their seminal paper Birkhoff and von Neumann revealed the following dilemma:[ ] whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic.In this paper we eliminate this dilemma, providing a way for maintaining both. Via the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction we obtain a complete Heyting algebra of propositions on physical properties. In particular there is a bijective correspondence between property lattices and propositional lattices equipped with a so called operational resolution, an operation that exposes the properties on the level of the propositions. If the property lattice goes equipped with an orthocomplementation, then this bijective correspondence can be refined to one with propositional lattices equipped with an operational complementation, as such establishing the claim made above. Formally one rediscovers via physical and logical considerations as such respectively a specification and a refinement of the purely mathematical result by Bruns and Lakser (1970) on injective hulls of meet-semilattices. From our representation we can derive a truly intuitionistic functional implication on property lattices, as such confronting claims made in previous writings on the matter. We also make a detailed analysis of disjunctivity vs. distributivity and finitary vs. infinitary conjunctivity, we briefly review the Bruns-Lakser construction and indicate some questions which are left open.     

Distributive lattices with an operator

It was shown in [3] (see also [5]) that there is a duality between the category of bounded distributive lattices endowed with a join-homomorphism and the category of Priestley spaces endowed with a Priestley relation. In this paper, bounded distributive lattices endowed with a join-homomorphism, are considered as algebras and we characterize the congruences of these algebras in terms of the mentioned duality and certain closed subsets of Priestley spaces. This enable us to characterize the simple and subdirectly irreducible algebras. In particular, Priestley relations enable us to characterize the congruence lattice of the Q-distributive lattices considered in [4]. Moreover, these results give us an effective method to characterize the simple and subdirectly irreducible monadic De Morgan algebras [7].The duality considered in [4], was obtained in terms of the range of the quantifiers, and such a duality was enough to obtain the simple and subdirectly irreducible algebras, but not to characterize the congruences.I would like to thank my research supervisor Dr. Roberto Cignoli for his helpful suggestions during the preparation of this paper and the referee for calling my attention to Goldblatt's paper [5].     

封闭性知觉在大范围优先性中的特殊性

本文研究当封闭性作为被试分辨的图形性质时,空间位置不确定性和视野位置对大范围优先性有何影响。实验发现：（１）无论复合刺激呈现在视野的中央或外周．分辨复合刺激的整体性质的反应时（ＲＴ）比分辨局部性质的ＲＴ短,整体性质对分辨局部性质的反应有较强的干扰作用。相反,局部性质对分辨整体性质的反应的影响较小;（２）刺激位置的不确定对大范围优先性没有显著影响;（３）与周边刺激相比,分辨视野中央的复合刺激的ＲＴ较短,但整体性质的ＲＴ优势和对局部性质的干扰作用,不受刺激在视野中的位置的影响。这些实验结果揭示了封闭性知觉在大范围优先性中的特殊性。