English
Related papers

Related papers: First Order Calculi with Values in Right--Universa…

200 papers

We give a complete classification of bicovariant first order differential calculi on the quantum enveloping algebra U_q(b+) which we view as the quantum function algebra C_q(B+). Here, b+ is the Borel subalgebra of sl_2. We do the same in…

Quantum Algebra · Mathematics 2009-10-31 Robert Oeckl

In this work we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules we obtain linear nested sequent…

Logic in Computer Science · Computer Science 2017-11-17 Björn Lellmann , Elaine Pimentel

The renewed interest in investigating quaternionic quantum mechanics, in particular tunneling effects, and the recent results on quaternionic differential operators motivate the study of resolution methods for quaternionic differential…

Mathematical Physics · Physics 2015-06-26 S. De Leo , G. C. Ducati

We study generalized sums of linear orders. These are binary operations that, given linear orders $A$ and $B$, return an order $A \oplus B$ that can be decomposed as an isomorphic copy of $A$ interleaved with a copy of $B$. We show that…

Logic · Mathematics 2025-12-17 Álvaro Díaz Ramos , Garrett Ervin , Saharon Shelah

For quantized universal enveloping algebras we construct weight modules by inducing representations of the centralizer of the Cartan subalgebra in the quantized universal enveloping algebra. The induced modules arising from…

Quantum Algebra · Mathematics 2019-08-26 Erik Koelink , Henrique Tyrrell

In a previous work we introduced a non-associative non-commutative logic extended by multimodalities, called subexponentials, licensing local application of structural rules. Here, we further explore this system, considering a classical…

Logic in Computer Science · Computer Science 2023-07-24 Eben Blaisdell , Max I. Kanovich , Stepan L. Kuznetsov , Elaine Pimentel , Andre Scedrov

In this report we give an intrinsic treatment of the results we developed in a previous work connecting the differential calculi on Hopf algebras to the Drinfeld double. In the first place we recover that bicovariant bimodules are in one to…

q-alg · Mathematics 2008-02-03 F. Bonechi , R. Giachetti , R. Maciocco , E. Sorace , M. Tarlini

We prove new mean value theorems for primes in arithmetic progressions to moduli larger than $x^{1/2}$, extending the Bombieri-Vinogradov theorem to moduli of size $x^{1/2+\delta}$ which have conveniently sized divisors. The main feature of…

Number Theory · Mathematics 2020-06-16 James Maynard

We study some aspects of the theory of non-commutative differential calculi over complex algebras, especially over the Hopf algebras associated to compact quantum groups in the sense of S.L. Woronowicz. Our principal emphasis is on the…

Quantum Algebra · Mathematics 2007-05-23 J. Kustermans , G. J. Murphy , L. Tuset

The preferential conditional logic PCL, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalise Lewis' sphere models for counterfactual logics, is proposed. Soundness…

Logic in Computer Science · Computer Science 2020-02-17 Marianna Girlando , Sara Negri , Nicola Olivetti

General concept of ternary algebras is introduced in this article, along with several examples of its realization. Universal envelope of such algebras is defined, as well as the concept of tri-modules over ternary algebras. The universal…

Mathematical Physics · Physics 2009-11-10 N. Bazunova , A. Borowiec , R. Kerner

A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral…

Logic · Mathematics 2018-10-24 Ivan Chajda , Sandor Radeleczki

In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly…

Logic · Mathematics 2012-03-28 Aldo V. Figallo , Paolo Landini

We defined generalized \delta-derivations of algebra A as linear mapping \chi associated with usual \delta-derivation \phi by the rule \chi(xy)=\delta(\chi(x)y+x\phi(y))=\delta(\phi(x)y+x\chi(y)) for any x,y \in A. We described generalized…

Rings and Algebras · Mathematics 2011-07-25 Ivan Kaygorodov

Szlach\'anyi's skew monoidal categories are a well-motivated variation of monoidal categories in which the unitors and associator are not required to be natural isomorphisms, but merely natural transformations in a particular direction. We…

Logic in Computer Science · Computer Science 2020-03-12 Tarmo Uustalu , Niccolò Veltri , Noam Zeilberger

Most of theoretical physics is based on the mathematics of functions of a real or a complex variable; yet we frequently are drawn to try extending our reach to include quaternions. The non-commutativity of the quaternion algebra poses…

Functional Analysis · Mathematics 2009-11-13 Charles Schwartz

Let Q be a finite quiver without oriented cycles, and let $\Lambda$ be the corresponding preprojective algebra. Let g be the Kac-Moody Lie algebra with Cartan datum given by Q, and let W be its Weyl group. With w in W is associated a…

Representation Theory · Mathematics 2019-03-05 Christof Geiß , Bernard Leclerc , Jan Schröer

We consider semiclassical orthogonal polynomials on the unit circle associated with a weight function that satisfy a Pearson-type differential equation involving two polynomials of degree at most three. Structure relations and difference…

Classical Analysis and ODEs · Mathematics 2025-06-05 Cleonice F. Bracciali , Karina S. Rampazzi , Luana L. Silva Ribeiro

We demonstrate our recent general results on the Casimir construction and moduli space of all bicovariant calculi by means of some detailed examples, including finite-difference and 2-jet cacluli on $\R^n$ and full details of the Casimir…

q-alg · Mathematics 2008-02-03 S. Majid

We introduce labelled sequent calculi for the basic normal non-distributive modal logic L and 31 of its axiomatic extensions, where the labels are atomic formulas of a first order language which is interpreted on the canonical extensions of…

‹ Prev 1 3 4 5 6 7 10 Next ›