Related papers: Residuation algebras with functional duals

We present an axiomatic framework for the residue structures induced by Prufer extensions with a stress upon the intimate connection between their arithmetic and arboreal theoretic properties. The main result of the paper provides an…

The principle behind algebraic language theory for various kinds of structures, such as words or trees, is to use a compositional function from the structures into a finite set. To talk about compositionality, one needs some way of…

We construct a monadic second-order sentence that characterizes the ternary relations that are the betweenness relations of finite or infinite partial orders. We prove that no first-order sentence can do that. We characterize the partial…

The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial…

We extend the theory (formal part only} of algebras with one binary operation (our paper arXiv:math/0110333v1 [math.RA] 31 Oct 2001) to algebras with several operations of any arity.

We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…

We obtain the precise form of two Gamow functionals, representing the exponentially decaying part of a quantum resonance and its mirror image that grows exponentially, as a linear, positive and continuous functional on an algebra containing…

When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective…

Permutation rational functions over finite fields have attracted high interest in recent years. However, only a few of them have been exhibited. This article studies a class of permutation rational functions constructed using trace maps on…

We construct a generic extension in which the aleph_2 nd canonical function on aleph_1 exists.

J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this evolution we make two contributions.…

We develop techniques at the interface between differential algebra and model theory to study the following problems of exponential algebraicity: Does a given algebraic differential equation admits an exponentially algebraic solution, that…

Lie conformal algebras appear in the theory of vertex algebras. Their relation is similar to that of Lie algebras and their universal enveloping algebras. Associative conformal algebras play a role in conformal representation theory. We…

This paper presents a novel treatment of the canonical extension of a bounded lattice, in the spirit of thetheory of natural dualities. At the level of objects, this can be achieved by exploiting the topological representation due to M.…

We consider a version of a famous open problem formulated by Kadison, asking whether bounded representations of operator algebras are automatically completely bounded. We investigate this question in the context of amenable operator…

Let C be a finite dimensional algebra of global dimension at most two. A partial relation extension is any trivial extension of C by a direct summand of its relation C-C-bimodule. When C is a tilted algebra, this construction provides an…

We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…

In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove…

We give a proper fractional extension of the classical calculus of variations by considering variational functionals with a Lagrangian depending on a combined Caputo fractional derivative and the classical derivative. Euler-Lagrange…

In this note, we observe a relation between dialgebras (in particular, Leibniz algebras) and conformal algebras. The purpose is to show how the methods of conformal algebras help solving problems on dialgebras, and, conversely, how the…