English
Related papers

Related papers: About a 'concrete' Rauszer Boolean algebra generat…

200 papers

We introduce hom-Lie-Rinehart algebras as an algebraic analogue of hom-Lie algebroids, and systematically describe a cohomology complex by considering coefficient modules. We define the notion of extensions for hom-Lie-Rinehart algebras. In…

K-Theory and Homology · Mathematics 2018-01-03 Ashis Mandal , Satyendra Kumar Mishra

The foundational character of certain algebraic structures as Boolean algebras and Heyting algebras is rooted in their potential to model classical and constructive logic, respectively. In this paper we discuss the contributions of…

Rings and Algebras · Mathematics 2014-09-16 João Pita Costa , Primož Škraba , Mikael Vejdemo-Johansson

Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…

Algebraic Topology · Mathematics 2018-05-18 Martin Doubek , Branislav Jurco , Lada Peksova

Double Boolean algebras (dBas), introduced by Wille, are based on twenty-three identities. We present a simplified axiom system, the D-core algebra, and prove it is equivalent to Wille's original definition. This reduction allows improved…

Logic · Mathematics 2026-01-06 Prosenjit Howlader , Leonard Kwuida , Mike Behrisch , Churn-Jung Liau

Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…

Quantum Algebra · Mathematics 2007-05-23 Steven Duplij , Wladyslaw Marcinek

Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…

Mathematical Physics · Physics 2021-05-07 Qiang Lei , Weihua Liu , Zhe Liu , Junde Wu

We present a way to associate an algebra $B_G (\Upsilon) $ with every pseudo reflection group $G$. When $G$ is a Coxeter group of simply-laced type we show $B_G (\Upsilon)$ is isomorphic to the generalized Brauer algebra of simply-laced…

Representation Theory · Mathematics 2010-03-30 Zhi Chen

M. Boucetta introduced the notion of pseudo-Riemannian Lie algebra in [2] when he studied the line Poisson structure on the dual of a Lie algebra. In this paper, we redefine pseudo-Riemannian Lie algebra, which, in essence, is a class of…

Rings and Algebras · Mathematics 2008-07-09 Zhiqi Chen , Fuhai Zhu

We study the periplectic Brauer algebra introduced by Moon in the study of invariant theory for periplectic Lie superalgebras. We determine when the algebra is quasi-hereditary and, for fields of characteristic zero, describe the block…

Representation Theory · Mathematics 2018-11-27 Kevin Coulembier

We generalize the Boolean power construction to the setting of compact Hausdorff spaces. This is done by replacing Boolean algebras with de Vries algebras (complete Boolean algebras enriched with proximity) and Stone duality with de Vries…

Rings and Algebras · Mathematics 2013-11-20 Guram Bezhanishvili , Vincenzo Marra , Patrick J. Morandi , Bruce Olberding

The a-adic numbers are those groups that arise as Hausdorff completions of noncyclic subgroups of the rational numbers. We give a crossed product construction of (stabilized) Cuntz-Li algebras coming from the a-adic numbers and investigate…

Operator Algebras · Mathematics 2015-12-15 S. Kaliszewski , Tron Omland , John Quigg

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

Logic · Mathematics 2025-10-28 Xiaohao Liu , Heyan Wang , Wenjuan Chen

In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…

Logic · Mathematics 2017-09-15 Jun Tao Wang , Xiao Long Xin , Peng Fei He

Further to the functional representations of C$^*$-algebras proposed by R. Cirelli, A. Mania and L. Pizzocchero, we consider in this article the uniform K\"ahler bundle (in short, UKB) description of some C$^*$-algebraic subjects. In…

Operator Algebras · Mathematics 2015-09-10 Xiao Chen

Rook-Brauer algebras are a family of diagram algebras. They contain many interesting subalgebras: rook algebras, Brauer algebras, Motzkin algebras, Temperley-Lieb algebras and symmetric group algebras. In this paper, we generalize the…

Algebraic Topology · Mathematics 2023-10-11 Daniel Graves

We formalise the modal operators from the concurrent dynamic logics of Peleg, Nerode and Wijesekera in a multirelational algebraic language based on relation algebra and power allegories, using relational approximation operators on…

Logic in Computer Science · Computer Science 2023-06-16 Hitoshi Furusawa , Walter Guttmann , Georg Struth

We introduce a notion of duality for a Lie-Rinehart algebra giving certain bilinear pairings in its cohomology generalizing the usual notions of Poincar\'e duality in Lie algebra cohomology and de Rham cohomology. We show that the duality…

dg-ga · Mathematics 2008-02-03 Johannes Huebschmann

Rational inference relations were introduced by Lehmann and Magidor as the ideal systems for drawing conclusions from a conditional base. However, there has been no simple characterization of these relations, other than its original…

Logic in Computer Science · Computer Science 2007-05-23 Konstantinos Georgatos

In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…

Logic · Mathematics 2026-01-21 Ivo Düntsch , Rafał Gruszczyński , Paula Menchón

Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy…

Logic · Mathematics 2018-05-01 Manuela Busaniche , Penélope Cordero , Ricardo O. Rodríguez
‹ Prev 1 4 5 6 7 8 10 Next ›