相关论文: On Logics of Perfect Paradefinite Algebras

We present a package for the computer algebra system Mathematica, which implements the parametrized post-Newtonian (PPN) formalism. This package, named xPPN, is built upon the widely used tensor algebra package suite xAct, and in particular…

Based on a closed formula for a star product of Wick type on $\CP^n$, which has been discovered in an earlier article of the authors, we explicitly construct a subalgebra of the formal star-algebra (with coefficients contained in the…

We give a new definition of the so-called overgenerated rings, which are the usual tool used to define the asymptotic structure of a (C,E,P)-algebra, written as a factor space M_{(A,E,P)}/N_{(I_{A},E,P)}. With this new definition and in the…

In a previous paper, we showed that profinite $L$-algebras (where $L$ is a variety of modal algebras generated by its finite members) are monadic over $\mathbf{Set}$. This monadicity result suggests that profinite $L$-algebras could be…

We study degenerations of the Hall algebras of exact categories induced by degree functions on the set of isomorphism classes of indecomposable objects. We prove that each such degeneration of the Hall algebra $\mathcal{H}(\mathcal{E})$ of…

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We propose a graph-based extension of Boolean logic called Boolean Graph Logic (BGL). Construing formula trees as the cotrees of cographs, we may state semantic notions such as evaluation and entailment in purely graph-theoretic terms,…

A new class of infinite-dimensional Lie algebras given a name of Lax operator algebras, and the related unifying approach to finite-dimensional integrable systems with spectral parameter on a Riemann surface, such as Calogero--Moser and…

The Heisenberg algebra is first deformed with the set of parameters ${q, l, \lambda}$ to generate a new family of generalized coherent states. In this framework, the matrix elements of relevant operators are exactly computed. A proof on…

The increasing advancement of emerging device technologies that provide alternative basis logic sets necessitates the exploration of innovative logic design automation methodologies. Specifically, emerging computing architectures based on…

Ufnarovski remarked in 1990 that it is unknown whether any finitely presented associative algebra of linear growth is automaton, that is, whether the set of normal words in the algebra form a regular language. If the algebra is graded, then…

We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.

If $Q$ is a non degenerate quadratic form on ${\bb C}^n$, it is well known that the differential operators $X=Q(x)$, $Y=Q(\partial)$, and $H=E+\frac{n}{2}$, where $E$ is the Euler operator, generate a Lie algebra isomorphic to ${\go…

The extended W-algebra of type sl_2 at positive rational level, denoted by M_{p_+,p_-}, is a vertex operator algebra that was originally proposed in [1]. This vertex operator algebra is an extension of the minimal model vertex operator…

In this paper we study the operator inequality \phi(X)\leq X and the operator equation \phi(X)= X, where \phi is a w^*-continuous positive (resp. completely positive) linear map on B(H). We show that their solutions are in one-to-one…

We establish, generalizing Di Nola and Lettieri's categorical equivalence, a Morita-equivalence between the theory of lattice-ordered abelian groups and that of perfect MV-algebras. Further, after observing that the two theories are not…

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

Let p be a prime, let G be a p-valuable, abelian-by-procyclic group, and let k be a field of characteristic p. We will prove that all faithful prime ideals of the completed group algebra kG are controlled by the centre of G, and a complete…

In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as G\"odel's G3 logic) that relies on the idea of "denotation" of a formula, that is, a function that…