Results 251 to 260 of about 1,475,338 (284)

Algebraic partial Boolean algebras

Journal of Physics A: Mathematical and General, 2003
Partial Boolean algebras are algebraic in this paper in the sense that their elements have coordinates in an algebraic number field. Within this context the author shows that every algebraic finitely-generated partial Boolean algebra is finite when the underlying space is three-dimensional.
openaire   +2 more sources

Pseudo-BCK algebras as partial algebras

Information Sciences, 2010
From the author's abstract: ``We consider subreducts of residuated lattices, the monoidal and the meet operation being dropped: the resulting algebras are pseudo-BCK semilattices. Assuming divisibility, we can pass on to partial algebras. To reconstruct the underlying group structure from this partial algebra, if applicable, is straightforward.
openaire   +2 more sources

PARTIAL ALGEBRAIC CONDITIONAL SPACES

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2004
Conditioning plays a central role, both from a theoretical and practical point of view, in domains such as logic and probability, or rule–based expert systems. In classical approaches to probability, there is the notion of "conditional probability" P(E|H), but usually there is no meaning given to E|H itself.
Antonio Di Nola, Romano Scozzafava
openaire   +2 more sources

A Representation of Partial Boolean Algebras

Fundamenta Informaticae, 1992
We prove that every partial boolean algebra is isomorphic to a partial boolean algebra of sets. As a consequence we obtain finite axiomatization of the theory of partial boolean algebras.
Andrzej Ehrenfeucht, Marek W. Zawadowski
openaire   +3 more sources

Algebraic Representation Theory of Partial Algebras

Annales Henri Poincaré, 2001
The notions of irreducibility and complete reducibility of representations of a partial algebra are defined and characterized. Furthermore, the decomposition theory of completely reducible representations is discussed.
openaire   +2 more sources

A note on banach partial *-algebras

Mediterranean Journal of Mathematics, 2006
A Banach partial *-algebra is a locally convex partial *-algebra whose total space is a Banach space. A Banach partial *-algebra is said to be of type (B) if it possesses a generating family of multiplier spaces that are also Banach spaces. We describe the basic properties of such objects and display a number of examples, namely LP-like function spaces
ANTOINE J. P, TRAPANI, Camillo
openaire   +2 more sources

Decidability of Term Algebras Extending Partial Algebras

2005
Let ${\cal A}$ be a partial algebra on a finite signature. We say that ${\cal A}$ has decidable query evaluation problem if there exists an algorithm that given a first order formula $\phi(\bar{x})$ and a tuple $\bar{a}$ from the domain of ${\cal A}$ decides whether or not $\phi(\bar{a})$ holds in ${\cal A}$.
Bakhadyr Khoussainov, Sasha Rubin
openaire   +1 more source

Partial algebra + order-sorted algebra = galactic algebra

2005
Galactic algebra is a clean superset of universal algebra, which suits this intention: to consider semi-functions (partial functions) and subsets of some universe, then to reason in a uniform way about identity (equality of terms), membership, and inclusion. The logic of galactic algebra is expressed as a first-order Hilbert-style system, which has all
openaire   +1 more source

A lazy approach to partial algebras

1995
Starting from the analysis of which features are required by an algebraic formalism to describe at least the more common data types used in imperative and functional programming, a framework is proposed, collecting many techniques and ideas from the algebraic community, with the capability for an immediate representation of partiality and error ...
openaire   +2 more sources

Chain-Continuous Algebras a Variety of Partial Algebras

Fundamenta Informaticae, 1983
We prove that the category of ω-continuous algebras of any fixed (infinitary) signature is a variety of the category of partial algebras of an adequate signature. This enables us to derive properties of ω-continuous algebras from the thoroughly investigated properties of partial algebras.
openaire   +2 more sources