arXiv subjects

Jānis Cīrulis

Publications and source records attributed to Jānis Cīrulis.

2 recordsLinked to original sources

arXiv2022

Extension of sectional pseudocomplementation in posets

Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total extension $\to$ of $*$ is said to be an extended sp-complementation and is considered as an implication-like operation. Extended sp-complementations have already be studied on semilattices and lattices. We describe several naturally arising classes of general posets with extended sp-complementation, present respective elementary properties of this operation, demonstrate that two other known attempts to isolate particular such classes are in fact not quite correct, and suggest suitable improvements.

math.CO↗

arXiv2017

Lattice of closure endomorphisms of a Hilbert algebra

A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two elements is defined pointwise and their join is given by their composition. This lattice is shown in the paper to be isomorphic to the lattice of certain filters of A, anti-isomorphic to the lattice of certain closure retracts of A, and compactly generated. The set of compact elements of CE coincides with the adjoint semilattice of A, conditions under which two Hilbert algebras have isomorphic adjoint semilattices (equivalently, minimal Brouwerian extensions) are discussed. Several consequences are drawn also for implication algebras.

math.RA↗