Pseudo equality algebras

A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalence operations of pseudo BCK-meet-semilattices. Our result treats a much more general algebraic structure, namely, pseudo BCK-meet-semilattice instead of Heyting algebras, on the other hand, we also need to use the meet operation. Finally, we prove that the variety of pseudo equality algebras is a subtractive, 1-regular, arithmetical variety.     

On the cobordism and commutative monoid with cancellation approaches to conformal field theory

In the late 1980s, Graeme Segal axiomatized conformal field theory in terms of a cobordism category. In that same preprint he outlined a more symmetric trace approach, which was recently rigorized in terms of pseudo algebras over a 2-theory. In this paper, we treat the cobordism approach in the pseudo algebra context. We introduce a new algebraic structure on a bicategory, called a pseudo 2-algebra over a theory, as a means of comparison for the two approaches. The main result states that the 2-category of pseudo algebras over a fixed 2-theory is biequivalent to the 2-category of pseudo 2-algebras over a fixed theory in certain situations.     

N-point Virasoro algebras are multipoint Krichever–Novikov-type algebras

We show how the recently again discussed N-point Witt, Virasoro, and a?ne Lie algebras are genus zero examples of the multipoint versions of Krichever–Novikov-type algebras as introduced and studied by Schlichenmaier. Using this more general point of view, useful structural insights and an easier access to calculations can be obtained. The concept of almost-grading will yield information about triangular decompositions which are of importance in the theory of representations. As examples, the algebra of functions, vector fields, differential operators, current algebras, a?ne Lie algebras, Lie superalgebras, and their central extensions are studied. Very detailed calculations for the three-point case are given.     

BCK-monoids

We generalize the notions of a pseudo BCK-algebra and a residuated lattice by introducing, respectively, extended BCK-algebras and BCK-monoids, and prove a decomposition theorem for BCK-monoids, generalising a decomposition theorem of Galatos and Tsinakis for GBL-algebras. Also, we specialise this theorem to hoop monoids and Wajsberg monoids, which generalize, respectively, GBL-algebras and GMV-algebras. Finally, we include a discussion on Iséki monoids, which extend the concept of left pseudo Iséki algebras of Iorgulescu.     

Congruence Kernels in Weakly Regular Varieties

We generalize the concept of deductive system of Hilbert algebras for the general case of algebras in weakly regular variety and we show that congruence kernels of these algebras are just deductive systems. This concept enables us to describe congruence classes in algebras of weakly regular varieties.AMS Subject Classification (1991): 08A30 08B05     

L-algebras and three main non-classical logics

The semantics of three main branches of non-classical logic, intuitionistic, many-valued, and quantum logic, is unified by the concept of L-algebra. The corresponding three classes of algebras (Heyting algebras, MV-algebras, and orthomodular lattices) are associated to specializations of a bounded L-algebra, given by simple equations. Three basic specializations lead to three more classes of algebras, including quantized Heyting algebras which have not been considered before. All these algebras are obtained from a new class of L-algebras which simultaneously satisfy general versions of Glivenko's and Mundici's theorems.     

When the lexicographic product of two po-groups has the Riesz decomposition property

We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even \({{\rm RDP}_1}\), a stronger type of RDP. We recall that a very strong type of RDP, \({{\rm RDP}_2}\), entails that the group is lattice ordered. RDP's of the lexicographic products are important for the study of lexicographic pseudo effect algebras, or perfect types of pseudo MV-algebras and pseudo effect algebras, where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.     

New approach for weighted pseudo-almost periodic functions under the light of measure theory,basic results and applications

The aim of this work is to present new approach to study weighted pseudo almost periodic functions using the measure theory. We present a new concept of weighted ergodic functions which is more general than the classical one. Then we establish many interesting results on the functional space of such functions like completeness and composition theorems. The theory of this work generalizes the classical results on weighted pseudo almost periodic functions. For illustration, we provide some applications for evolution equations which include reaction diffusion systems and partial functional differential equations.     

Generalizations of pseudo MV-algebras and generalized pseudo effect algebras

We deal with unbounded dually residuated lattices that generalize pseudo MV-algebras in such a way that every principal order-ideal is a pseudo MV-algebra. We describe the connections of these generalized pseudo MV-algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo MV-algebra A by means of the positive cone of a suitable ℓ-group G _A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex ℓ-subgroups of G _A are isomorphic. We also introduce the concept of Archimedeanness and show that every Archimedean generalized pseudo MV-algebra is commutative. Supported by the Research and Development Council of the Czech Govenrment via the project MSM6198959214.     

A characterization of k-ary algebraic categories

Let k be a regular infinite cardinal number. A primitive (=equationally definable) class of algebras is called k-ary provided the algebras can be described in a specified way by means of operations whose arity is less than k. Such k-ary primitive classes of algebras (resp. k-ary varietal categories) have been characterized categorically by Lawvere [5] in case k = _o and by Linton [7], Felscher [1], and others in the general case. In this paper we propose a general definition of k-arity for arbitrary concrete categories, show that this concept is useful at least for algebraic categories, defined below, and coincides with the corresponding concept for varietal categories.     

SECOND COHOMOLOGY GROUP OF GENERALIZED WITT TYPE LIE ALGEBRAS AND CERTAIN REPRESENTATIONS

ABSTRACT

We determine the second cohomology groups of Lie algebras of generalized Witt type which are some Lie algebras defined by Passman and Jordan, more general than those defined by Dokovic and Zhao, and slightly more general than those defined by Xu. Among all the 2-cocycles, there is a special one we think interesting. Using this 2-cocycle, we define the so-called Virasoro-like algebras. Then we give a class of their representations.     

Group-Like Algebras and Their Representations

The concept of “group-like algebras” was defined by the author as a special class of bF algebras. They generalize scheme rings (Bose–Mesner algebras) of noncommutative association schemes. We develop the representation theory for group-like algebras and symmetric bF algebras. We also study group-like algebras of association-scheme type with dimension 2 and 3.     

Pseudo almost periodic in distribution solutions and optimal solutions to impulsive partial stochastic differential equations with infinite delay

In this paper, we study a general class of impulsive partial stochastic differential equations with infinite delay and pseudo almost periodic coefficients in Hilbert spaces. Firstly, a more appropriate concept of pseudo almost periodic in distribution for stochastic processes of infinite class is introduced. Secondly, the existence of pseudo almost periodic in distribution mild solutions is investigated by utilizing the interpolation theory, the stochastic analysis techniques and fixed point theorem. The existence of optimal mild solutions of the systems is also proved. Finally, an example is provided to show the effectiveness of the theoretical results.     

Kites and pseudo BL-algebras

We investigate a construction of a pseudo BL-algebra out of an ?-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As another application, we exhibit a new countably infinite family of varieties of pseudo BL-algebras covering the variety of Boolean algebras.     

Graph representation of projective resolutions

We generalize the concept — dimension tree and the related results for monomial algebras to a more general case — relations algebras Λ by bringing Gröbner basis into play. More precisely, we will describe the minimal projective resolution of a left Λ-module M as a rooted ‘weighted’ diagraph to be called the minimal resolution graph for M. Algorithms for computing such diagraphs and applications as well will be presented.     

Multiplicative Decompositions of Holomorphic Fredholm Functions and ψ*-Algebras

In this article we construct multiplicative decompositions of holomorphic Fredholm operator valued functions on Stein manifolds with values in various algebras of differential and pseudo differential operators which are submultiplicative ψ* - algebras, a concept introduced by the first author. For Fredholm functions T(z) satisfying an obvious topological condition we. Prove (0.1) T(z) = A(z)(I + S(z)), where A(z) is holomorphic and invertible and S(z) is holomorphic with values in an “arbitrarily small” operator ideal. This is a stronger condition on S(z) than in the authors' additive decomposition theorem for meromorphic inverses of holomorphic Fredholm functions [12], where the smallness of S(z) depends on the number of complex variables. The Multiplicative Decomposition theorem (0.1) sharpens the authors' Regularization theorem [11]; in case of the Band algebra L(X) of all bounded linear operators on a Band space, (0.1) has been proved by J. Letterer [20] for one complex variable and by M. 0. Zaidenberg, S. G. Krein, P. A. Kuchment and A. A. Pankov [26] for the Banach ideal of compact operators.     

Some General Results on Conformal Embeddings of Affine Vertex Operator Algebras

We give a general criterion for conformal embeddings of vertex operator algebras associated to affine Lie algebras at arbitrary levels. Using that criterion, we construct new conformal embeddings at admissible rational and negative integer levels. In particular, we construct all remaining conformal embeddings associated to automorphisms of Dynkin diagrams of simple Lie algebras. The semisimplicity of the corresponding decompositions is obtained by using the concept of fusion rules for vertex operator algebras.     

Inverse functions of pseudo regular mappings and regularity conditions

We show that, even for monotone directionally differentiable Lipschitz functionals on Hilbert spaces, basic concepts of generalized derivatives identify only particular pseudo regular (or metrically regular) situations. Thus, pseudo regularity of (multi-) functions will be investigated by other means, namely in terms of the possible inverse functions. In this way, we show how pseudo regularity for the intersection of multifunctions can be directly characterized and estimated under general settings and how contingent and coderivatives may be modified to obtain sharper regularity conditions. Consequences for a concept of stationary points as limits of Ekeland points in nonsmooth optimization will be studied, too. Received: May 20, 1999 / Accepted: February 15, 2000?Published online July 20, 2000     

Kleene代数及相关半模结构

Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用.将半环和半模等代数系统作为基本构架,研究了理论计算机科学中的Kleene代数、Kleene模和归纳~*-半环等重要概念,并将这些对象统一为序~*-半环上称为归纳半模的代数结构.进一步,提出并讨论了弱归纳半模、伪归纳半模以及伪弱归纳半模等相关概念.