# Search results for: Jānis Cīrulis

Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry > 2018 > 59 > 2 > 375-389

*R*with an additional operation which associates to every element $$a \in R$$ a∈R the single idempotent

*e*such that the ideal

*eR*is the right annihilator of

*a*. We discuss some elementary properties of this operation, prove that a ring is reduced and Rickart if and only if it is isomorphic to an associate ring in the sense of I. Sussman (a certain...

**S**associated is the set

*K*(

**S**) of those pieces of information that, in a sense, admit a direct access in

**S**. The algebraic structure of the “information space”

*K*(

**S**) is investigated, and...

Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Logic > 299-309

International Journal of Theoretical Physics > 2015 > 54 > 12 > 4247-4259

*σ*-homomorphism from the Borel algebra on a line to some logic. Roughly, an observable on a logic is atomic, if it is completely determined by its restriction to one-element subsets of its point spectrum. In particular, every discrete observable is atomic. We study some elementary...

Studia Logica > 2015 > 103 > 3 > 479-490

*A*is a meet semilattice in which every initial segment is a lattice;

*A*is said to be Boolean if all of these lattices are Boolean. Overriding on

*A*is a binary operation defined by $ a \triangleleft {b} := \sup\{x\colon (x \le a \mbox{ and } x {\mathrel{\mbox{\,\raisebox{.7ex}{$\scriptstyle|$}\hspace{-.75ex}\raisebox{-.35ex}{$\circ$}}}}b) \mbox{ or } x \le b\} $...

Algebra universalis > 2011 > 65 > 1 > 41-60

*X*is defined to be a pair (

*W*,

*E*), where

*W*is a superset of

*X*, and

*E*is a submonoid of

*W*

^{ W }containing just one extension of every mapping

*X*→

*W*. For instance, if

**W**is a relatively free algebra over a set of free generators

*X*, then the pair

*F*(

**W**) := (

*W*,

*End*(

**W**)) is a freeoid. In the paper, the kernel equivalence and the range of the transformation...

Open Mathematics > 2008 > 6 > 1 > 189-190

Central European Journal of Mathematics > 2008 > 6 > 1 > 189-190

Open Mathematics > 2007 > 5 > 2 > 264-279

Central European Journal of Mathematics > 2007 > 5 > 2 > 264-279

*a*and

*b*of a Hilbert algebra are said to be the compatible meet of

*a*and

*b*, if the elements

*a*and

*b*are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the...

Discussiones Mathematicae - General Algebra and Applications > 2007 > 27 > 2 > 169-186

Algebra universalis > 2007 > 56 > 2 > 237-239