Related papers: Valuations in Nilpotent Minimum Logic
We study general nilpotent algebras. The results obtained are new even for the classical algebras, such as associative or Lie algebras. We single out certain generic properties of finite-dimensional algebras, mostly over infinite fields.…
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…
We extend Auslander and Buchsbaum's Euler characteristic from the category of finitely generated modules of finite projective dimension to the category of modules of finite G-dimension using Avramov and Martsinkovsky's notion of relative…
The paper gives the complete characterization of all graded nilpotent Lie algebras with infinite-dimensional Tanaka prolongation as extensions of graded nilpotent Lie algebras of lower dimension by means of a commutative ideal. We introduce…
The problem of minimizing an integral functional of a vector-valued Lagrangian on a set of admissible arcs with given endpoints is considered. The problem is tackled by embedding it into a set-optimization problem such that the image space…
A new hierarchy of "exact" unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by…
Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational semantics to the full linear logic. We introduce an…
The Euler characteristic of the link of a real algebraic variety is an interesting topological invariant in order to discuss local topological properties. We prove in the paper that an invariant stronger than the Euler Characteristic is…
This paper aims to introduce the concept of nilpotency and capability in multiplicative Lie algebras. Also, we see the existence of covers of a multiplicative Lie algebra and thoroughly examine their relationships with capable and perfect…
We review the known results about characteristically nilpotent complex Lie algebras, as well as we comment recent developements in the theory.
We study the class of those linear relations that can be factorized as products of idempotent relations. We provide several characterizations of this class, extending known factorization results for operators to the more general setting of…
The study of essential and strongly essential variables in functions defined on finite sets is a part of $k$-valued logic. We extend the main definitions from functions to terms. This allows us to apply concepts and results of Universal…
We extend the definitions of upper and lower valuations on partially ordered sets, and consider the metrics they induce, in particular the metrics available (or not) based on the logarithms of such valuations. Motivating applications in…
Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). This article investigates…
We study some distributive lattices arising in the combinatorics of lattice paths. In particular, for the Dyck, Motzkin and Schroder lattices we describe the spectrum and we determine explicitly the Euler characteristic in terms of natural…
We determine the equivariant Euler characteristics for the action of a finite symplectic group on its building.
DL^N is a recent approach that extends description logics with defeasible reasoning capabilities. In this paper we provide an overview on DL^N, illustrating the underlying knowledge engineering requirements as well as the characteristic…
We consider the variety of nilpotent elements in the dual of the Lie algebra of a reductive algebraic group over an algebraically closed field. We propose a definition of a partition of this variety into smooth locally closed smooth…
A parameterization is described for quantifying translational motion of a point in three-dimensional Euclidean space. The parameterization is similar to well-known parameterizations such as spherical coordinates in that both position and…
We classify valuations on lattice polygons with values in the ring of formal power series that commute with the action of the affine unimodular group. A typical example of such valuations is induced by the Laplace transform, but as it turns…