中文
相关论文

相关论文: Residuated operators and Dedekind-MacNeille comple…

200 篇论文

Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key…

计算机科学中的逻辑 · 计算机科学 2021-03-12 Fabio Gadducci , Francesco Santini

We consider $C$-compact orthogonally additive operators in vector lattices. After providing some examples of $C$-compact orthogonally additive operators on a vector lattice with values in a Banach space we show that the set of those…

泛函分析 · 数学 2019-12-11 Marat Pliev , Martin R. Weber

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…

逻辑 · 数学 2020-04-22 José Gil-Férez , Peter Jipsen , George Metcalfe

We extend the noncommutative residue of M. Wodzicki on compactly supported classical pseudo-differential operators of order $-d$ and generalise A. Connes' trace theorem, which states that the residue can be calculated using a singular trace…

泛函分析 · 数学 2012-12-21 Nigel Kalton , Steven Lord , Denis Potapov , Fedor Sukochev

Projections onto several special subsets in the Dedekind complete vector lattice of orthogonally additive, order bounded (called abstract Uryson) operators between two vector lattices $E$ and $F$ are considered and some new formulas are…

泛函分析 · 数学 2015-10-27 Marat A. Pliev , Martin R. Weber

Let $E$ and $F$ be Banach lattices. We show first that the disjointness preserving linear functionals separate the points of any infinite dimensional Banach lattice $E$, which shows that in this case the unbounded disjointness operators…

泛函分析 · 数学 2016-07-07 Anton R Schep

This paper develops some deeper consequences of an extended definition, proposed previously by the author, of pseudo-differential operators that are of type $1,1$ in H\"ormander's sense. Thus, it contributes to the long-standing problem of…

偏微分方程分析 · 数学 2016-08-16 Jon Johnsen

We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.

逻辑 · 数学 2016-03-09 José Luis Castiglioni , Rodolfo C. Ertola-Biraben

This paper deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated…

逻辑 · 数学 2009-10-02 Felix Bou , Francesc Esteva , Lluis Godo , Ricardo Rodriguez

Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…

逻辑 · 数学 2020-03-12 Ivan Chajda , Helmut Länger

The aim of this article is to extend results of M.~Popov and second named author about orthogonally additive narrow operators on vector lattices. The main object of our investigations are an orthogonally additive narrow operators between…

泛函分析 · 数学 2015-10-01 Xiao Chun Fang , Marat Pliev

It is shown that the deformed Macdonald-Ruijsenaars operators can be described as the restrictions on certain affine subvarieties of the usual Macdonald-Ruijsenaars operator in infinite number of variables. The ideals of these varieties are…

量子代数 · 数学 2008-02-22 A. N. Sergeev , A. P. Veselov

We introduce the concept of a quasiresiduated lattice and prove that every lattice effect algebra can be organized into a commutative quasiresiduated lattice with divisibility. Also conversely, every such a lattice can be converted into a…

逻辑 · 数学 2019-05-15 Ivan Chajda , Helmut Länger

Given a monoid $S$ with $E$ any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left $E$-completion. In general, the construction yields a one-sided variant of a small category…

群论 · 数学 2023-08-25 Tim Stokes

It is well known that every MV-algebra can be converted into a residuated lattice satisfying divisibility and the double negation law. In our previous papers we introduced the concept of an NMV-algebra which is a non-associative…

逻辑 · 数学 2018-10-08 Ivan Chajda , Helmut Länger

We construct bounded Poincar\'e operators for twisted complexes and BGG complexes with a wide class of function classes (e.g., Sobolev spaces) on bounded Lipschitz domains. These operators are derived from the de Rham versions using BGG…

数值分析 · 数学 2023-11-17 Andreas Čap , Kaibo Hu

The lattice of partitions of a set and its d-divisible generalization have been much studied for their combinatorial, topological, and representation-theoretic properties. An ordered set partition is a set partition where the subsets are…

组合数学 · 数学 2025-07-08 Bruce E Sagan , Sheila Sundaram

Alternating sign matrices (ASMs) arise as the Dedekind-MacNeille completion of the Bruhat order on the symmetric group. They enjoy fruitful combinatorial and geometric properties, with a particularly rich history on enumerations and…

组合数学 · 数学 2026-04-30 Yibo Gao , Hanlin Xu

Perfect dyadic operators were first introduced in \cite{AHMTT}, where a local $T(b)$ theorem was proved for such operators. In \cite{AY} it was shown that for every singular integral operator $T$ with locally bounded kernel on $\mathbb{R}^n…

偏微分方程分析 · 数学 2016-02-09 Oleksandra V. Beznosova

In the present work, we demonstrate how the pseudoinverse concept from linear algebra can be used to represent and analyze the boundary conditions of linear systems of partial differential equations. This approach has theoretical and…

数值分析 · 数学 2024-01-05 Pelle Olsson