相关论文: Logic and Partially Ordered Abelian Groups

We construct a graded Lie algebra $\mathcal{E}$ in which the Maurer-Cartan equation is equivalent to the vacuum Einstein equations. The gauge groupoid is the groupoid of rank 4 real vector bundles with a conformal inner product, over a…

We study the set of Dedekind cuts over a linearly ordered Abelian group as a structure over the language (0,<,+,-). Moreover, we obtain a simple set of axioms for the universal part of the theory of such structures. Finally, we prove that…

Following Robert's [26], we study the structure of unitary groups and groups of approximately inner automorphisms of unital $C^*$-algebras, taking advantage of the former being Banach-Lie groups. For a given unital $C^*$-algebra $A$, we…

Solvable Lie algebras having at least one Abelian descending central ideal are studied. It is shown that all such Lie algebras can be built up from canonically defined ideals. The nature of such ideals is elucidated and their construction…

Lie groups and quantum algebras are connected through their common universal enveloping algebra. The adjoint action of Lie group on its algebra is naturally extended to related q-algebra and q-coalgebra. In such a way, quantum structure can…

We point out an asymptotic formula for the power moments of the function $a(n)$, representing the number of non-isomorphic Abelian groups of order $n$. For the quadratic moment this improves an earlier result due to L. Zhang, M. L\"u and W.…

This article begins with a study of convex effect-state spaces. We point out that such spaces are equivalent to interval effect algebras that generate an ordered linear space and possess an order-determining set of states. We then discuss…

The hyperbolicity statements for subvarieties and complements of hypersurfaces in abelian varieties admit arithmetic analogues, due to Faltings (and Vojta for the semi-abelian case). In Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29…

Motivated by the notion of coexistence of effect-valued observables, we give a characterization of coexistent subsets of interval effect algebras.

The aim of this paper is to show that even if the natural algebraic semantic for modal (normal) logic is modal algebra, the more general class of subordination algebras (roughly speaking, the non symmetric contact algebras) is adequate too…

We consider the natural Lie algebra structure on the (associative) group algebra of a finite group $G$, and show that the Lie subalgebras associated to natural involutive antiautomorphisms of this group algebra are reductive ones. We give a…

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

We study a new class of infinite dimensional Lie algebras, which has important applications to the theory of integrable equations. The construction of these algebras is very similar to the one for automorphic functions and this motivates…

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a…

The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those…

Nongraded infinite-dimensional Lie algebras appeared naturally in the theory of Hamiltonian operators, the theory of vertex algebras and their multi-variable analogues. They play important roles in mathematical physics. This survey article…

We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…

We study left-invariant locally conformally K\"ahler structures on Lie groups, or equivalently, on Lie algebras. We give some properties of these structures in general, and then we consider the special cases when its complex structure is…

Algebras of Logic deal with some algebraic structures, often bounded lattices, considered as models of certain logics, including logic as a domain of order theory. There are well known their importance and applications in social life to…