Results 11 to 20 of about 3,431 (301)
IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS [PDF]
International Journal of Algebra and Computation, 2006 We consider the identities of a variety of semigroup-related algebras modelling the algebra of partial maps. We show that the identities are intimately related to a weak semigroup deductive system and we show that the equational theory is decidable. We do this by giving a term rewriting system for the variety.
Marcel Jackson, Timothy Stokes 0001
openaire +4 more sources
Weights on Partial *-Algebras [PDF]
Journal of Mathematical Analysis and Applications, 1995 Partial *-algebras were introduced by \textit{J.-P. Antoine} and \textit{W. Karwowski} [Publ. Res. Inst. Math. Sci. 21, 205-236 (1985; Zbl 0609.47058)] and studied by two of the authors with F. Mathot and A. Inoue in a sequence of papers. These algebras may include closable unbounded operators. In the present paper certain sesquilinear forms on partial
Antoine, J.P., Soulet, Y., Trapani, C.
openaire +2 more sources
Partial translation algebras for trees [PDF]
Journal of Noncommutative Geometry, 2009 In [1] we introduced the notion of a partial translation C*-algebra for a discrete metric space. Here we demonstrate that several important classical C*-algebras and extensions arise naturally by considering partial translation algebras associated with subspaces of trees.
Brodzki, Jacek +2 more
openaire +5 more sources
Programs in partial algebras [PDF]
Theoretical Computer Science, 1993 In the paper ``programs'' in partial algebras are understood, in an intuitive sense, as a class constructed starting from term operations by using branches, compositions, restrictions, and loops. It is shown that such programs may be regarded as a subclass of implicit operations (in a weak variety of partial algebras considered).
Jarzembski, Grzegorz +1 more
openaire +3 more sources
On Partial Galois Algebras [PDF]
Taiwanese Journal of Mathematics, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jiang, Xiaolong +2 more
openaire +3 more sources
Banach partial $*$-algebras: an overview [PDF]
Advances in Operator Theory, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antoine, J.-P., Trapani, C.
openaire +7 more sources
Partial Combinatory Algebras of Functions [PDF]
Notre Dame Journal of Formal Logic, 2011 We employ the notions of `sequential function' and `interrogation' (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using J. Longley's preorder-enriched category of partial combinatory algebras and decidable applicative structures. We also investigate total combinatory algebras
Sub Algebra,Geometry&Mathem. Logic begr. +3 more
openaire +7 more sources
Ordered partial combinatory algebras [PDF]
Mathematical Proceedings of the Cambridge Philosophical Society, 2003 Partial combinatory algebras (pcas) have been studied for their close connection to intuitionistic logic. In this paper the authors propose the notion of ordered partial combinatory algebra (opca), a partially ordered set together with a partial operation of application, and combinators \(k\) and \(s\) such that the application preserves the order and,
Hofstra, P., Oosten, J. van
openaire +4 more sources
Duality for Hilbert algebras with supremum: An application [PDF]
Mathematica Bohemica, 2017 We modify slightly the definition of $H$-partial functions given by Celani and Montangie (2012); these partial functions are the morphisms in the category of $H^\vee$-space and this category is the dual category of the category with objects the Hilbert ...
Hernando Gaitán
doaj +1 more source
Automatic Continuity of Almost Derivations on Frechet $Q$-Algebras
Communications in Advanced Mathematical Sciences, 2022 In 1971 R. L. Carpenter proved that every derivation on a semisimple commutative Frechet algebra with identity is continuous. The concept of almost derivations on Frechet algebras is introduced in this article. Also, R. L.
Sıva G, Ganesa Moorthy C
doaj +1 more source