On Preservation Theorems for Two-Variable Logic

We show that the existential preservation theorem fails for two-variable first-order logic FO². It is known that for all k ≥ 3, FO^k does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO².     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

The number of viable ecological trophic networks

The network trophic theory tries to explain the working of basic ecosystems by studying the trophic connections between species. A basic model that helps us to understand some rules that have been followed in the ecosystems is the one known as the model of trophic cascade. By following these ecological criteria, the algorithm that we present allows us to determine the number of viable trophic networks, taking into account the number of trophic levels, the maximum number of species at each level and the links between the different species. A development for five levels is shown.     

Intuitionistic notions of boundedness in ℕ

We consider notions of boundedness of subsets of the natural numbers ? that occur when doing mathematics in the context of intuitionistic logic. We obtain a new characterization of the notion of a pseudobounded subset and we formulate the closely related notion of a detachably finite subset. We establish metric equivalents for a subset of ? to be detachably finite and to satisfy the ascending chain condition. Following Ishihara, we spell out the relationship between detachable finiteness and sequential continuity. Most of the results do not require countable choice. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

多值逻辑与多值数字运算的光学实现

提出利用光学符号代换法则实现POST代数和GALOIS代数两种基本的多值逻辑函数,并给出了Max(x,y)运算、Min(x,y)运算以及数字加法和乘法运算的实验结果。     

Iteration 2-theories

The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature.     

All optical switching in semiconductor microresonators based on pattern selection

We present here a method for selecting optical patterns in a passive semiconductor microresonator, by using a spatial perturbation. A pattern is spontaneously generated in the system, and a switching beam causes this pattern to rotate even if the power in the switching beam is much lower than the power in the pattern. Thus, an all optical switch is realized, that operates at low light levels.     

消错逻辑的增加转化词

定义了增加转化词的概念 ,说明了它的研究对象及在消除决策错误中的作用 ,研究了在消错逻辑变换中 ,这个转化词所具有的性质和规律 .     

Optical Digital Logic Operations by Self-pumped Phase Conjugation in Photorefractive Crystal

１ＩｎｔｒｏｄｕｃｔｉｏｎＡｃｏｎｓｉｄｅｒａｂｌｅｒｅｓｅａｒｃｈｅｆｏｒｔｈａｓｂｅｅｎｍａｄｅｄｕｒｉｎｇｔｈｅｐａｓｔｆｅｗｙｅａｒｓｔｏｄｅｖｅｌｏｐｏｐｔｉｃａｌｌｏｇｉｃｏｐｅｒａｔｉｏｎｓｂａｓｅｄｏｎｐｈｏｔｏｒｅｆｒａｃｔｉｖｅｍ...     

Are there realistically interpretable local theories?

Although it rests on strongly established proofs, the statement that no realistically interpretable local theory is compatible with some experimentally testable predictions of quantum mechanics seems at first sight to be incompatible with a few general ideas and clear-cut statements occurring in recent theoretical work by Griffiths, Omnès, and Ballentine and Jarrett. It is shown here that in fact none of the developments due to these authors can be considered as a realistically interpretable local theory, so that there is no valid reason for suspecting that the existing proofs of the statement in question are all flawed.