Cut-Elimination Theorem for the Logic of Constant Domains

The logic CD is an intermediate logic (stronger than intuitionistic logic and weaker than classical logic) which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD (which is same as LK except that (→) and (?–) rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD . In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD , saying that all “cuts” except some special forms can be eliminated from a proof in LD . From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD : fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD . Mathematics Subject Classification : 03B55. 03F05.     

关于拟连续Domain的一个注记

证明了:(1)具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格;(2)对于dcpo L,L为拟连续domain当且仅当ΣL的Hoare空间为局部强紧空间.     

A Note on Going Down Domains

The purpose of this article is to prove the following result: If R is a going down domain and there are no infinite chains of rings between R and S, then every intermediate ring T ∈ [R, S] is going down.     

关于一个组合常数的注记

本文证明了下面定理．设Ｇ是一个有限Ａｂｅｌ群，ｅ为Ｇ的元之最大阶，则对任一由Ｇ的元构成｜Ｇ｜＋ｅ－１项序列都可找到其中ｅ项和为０.     

A Square of Oppositions in Intuitionistic Logic with Strong Negation

In this paper, we introduce a Hilbert style axiomatic calculus for intutionistic logic with strong negation. This calculus is a preservative extension of intuitionistic logic, but it can express that some falsity are constructive. We show that the introduction of strong negation allows us to define a square of opposition based on quantification on possible worlds.     

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.     

关于积域上的粗糙奇异积分算子的一点注记

讨论积域上的奇异积分算子：ＴΩｆ（ｘ,ｙ） ＝ ｐ．ｖ．∫Ｒｎ×ＲｍΩ（ｕ,ｖ）｜ｕ｜ｎ｜ｖ｜ｍ ｆ（ｘ － ｕ,ｙ － ｖ）ｄｕｄｖ的Ｌｐ 有界性,及相应的Ｍａｒｃｉｎｋｉｅｗ ｉｃｚ积分的Ｌ２ 有界性． 其中Ω为类似文［４］中引进的函数类．     

The Semantic Completeness of a Global Intuitionistic Logic

In this paper we will study a formal system of intuitionistic modal predicate logic. The main result is its semantic completeness theorem with respect to algebraic structures. At the end of the paper we will also present a brief consideration of its syntactic relationships with some similar systems.     

穿孔区域中双曲-抛物方程均匀化问题的一个注记

In this paper, we study a class of hyperbolic-parabolic problems in periodically perforated domains with a homogeneous Neumann condition on the boundary of holes. We focus on the homogenization of these equations, which generalizes those achieved by BensoussanLions-Papanicolau and Migorski. The proof is based on the periodic unfolding method in perforated domains.     

关于Mori整环的$w$-全局变换环的注记

Let R be a domain and let Rwg be the w-global transform of R. In this note it is shown that if R is a Mori domain, then the t-dimension formula t-dim（Rwg） = t-dim（R） - 1 holds.     

A Note on the w-Global Transform of Mori Domains

Let R be a domain and let R wg be the w-global transform of R.In this note it is shown that if R is a Mori domain,then the t-dimension formula t- dim(R wg ) = t- dim(R) - 1 holds.     

A Note on Property of Cauchy Integral on Classical Domains

In[1],ZhengXueanprovedthat:letRI(n×n)befirstclassicaldomain,Unbecharacteris-ticboundaryofRI,x∈Un,f(x)∈L2(Un).Asz=rx(0≤r<1)→x,Cauchyintegral∫Unf(y)det(I-zy′)-ndyconvergetoafunctioninL2(Un).Inthispaper,wewillfacusourselfonCauchyintegralofL2onclassicaldomains[2]andgetsomeproperties.Themainresultisfollowing:Theorem　LetRbeoneofclassicaldomains,LbecharacteristicboundaryofR,f∈L2(L),H(z,ξ)beCauchykernelofRandF(z)=∫Lf(u)H(z,u)u　z∈R,(1)wheretherightisLebesgueintegral;uist…     

A Note on Bifurcation for Harmonic Maps on Annular Domains

Mediterranean Journal of Mathematics - In this paper we consider harmonic maps u(r, θ) from an annular domain $${Omega _{rho} = B_{1}backslashbar{B}_{rho}}$$ to S 2 with the boundary...     

A secondary semantics for Second Order Intuitionistic Propositional Logic

In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Packing of Rounded Domains on a Sphere of Constant Curvature

Packings of congruent circles have extensively been studied as well in the Euclidean plane as on the sphere and in the hyperbolic plane. In the present paper packings of more general domains are considered and the proof of a long claimed result of the author is given.     

A Note on Homogenization of Parabolic Equation in Perforated Domains

We are concerned with a class of parabolic equations in periodically perforated domains with a homogeneous Neumann condition on the boundary of holes.By using the periodic unfolding method in perforated domains, we obtain the homogenization results under the conditions slightly weaker than those in the corresponding case considered by Nandakumaran and Rajesh(Nandakumaran A K, Rajesh M. Homogenization of a parabolic equation in perforated domain with Neumann boundary condition. Proc. Indian Acad. Sci.(Math. Sci.), 2002, 112(1): 195–207). Moreover,these results generalize those obtained by Donato and Nabil(Donato P, Nabil A. Homogenization and correctors for the heat equation in perforated domains. Ricerche di Matematica L. 2001, 50: 115–144).     

A Note on Doubly Connected Surfaces of Constant Mean Curvature with Prescribed Boundary

In this paper we prove the existence of a constant mean curvature surface spanning two given convex curves in parallel planes of ℝ³ under hypotheses relating the distance between the planes, the curvature of the curves and the mean curvature. It is also proved that the surface is a radial graph over a unit sphere.This author was partially Supported by Fapergs. Mathematics Subject Classifications (2000): 53A10, 53C42, 35J60