BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Leonard Kwuida appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
This article studies implications in triadic contexts. Specifically, we focus on those introduced by Ganter and Obiedkov, namely conditional attribute and attributional condition implications. Our aim is to construct an optimal base for these implications.
In this work, we exhibit several subclasses of weakly dicomplemented lattices (WDLs) based on their skeletons and dual skeletons. We investigate normal filters (resp. ideals) and show that the set of normal filters (resp. ideals) forms a complete lattice, which is not a sublattice of the lattice of all filters (ideals). The normal filter (ideal) generated by a subset and the join of two normal filters (resp. ieals) are characterized. We further prove that the lattice of normal filters is isomorphic to the lattice of normal ideals, and that the only class of filters (or ideals) that generate a congruence in WDLs is the class of normal filters. For distributive WDLs, the congruences generated by filters are characterized. Using normal filters, we characterize simple, subdirectly irreducible, and regular WDLs. Moreover, it is shown that the congruences generated by normal filters are permutable, and that regular distributive WDLs are congruence-permutable and verify the congruence extension property (CEP). Finally, we prove that, under certain conditions, the lattice of normal filters is isomorphic to the lattice of filters of the Boolean center of a distributive WDL. It is also established that the lattice of normal filters of a WDL $L$ embeds into the lattice of normal filters of the power $L^{X}$ of $L$.
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 structural results, including a refined Boolean representation theorem showing fewer conditions suffice to represent a dBa as a pair of Boolean algebras linked by adjoint maps. We generalize the glued-sum construction to possibly overlapping Boolean algebras, characterize them via a generalized order, and establish a Stone-type topological representation: every dBa is quasi-isomorphic to a dBa of clopen subsets of a Stone space. Simplified logical systems for contextual and pure dBas are developed with soundness and completeness.
We study the existence of nontrivial and of representable (dual) weak complementations, along with the lattice congruences that preserve them, in different constructions of bounded lattices, then use this study to determine the finite (dual) weakly complemented lattices with the largest numbers of congruences, along with the structures of their congruence lattices. It turns out that, if $n\geq 7$ is a natural number, then the four largest numbers of congruences of the $n$--element (dual) weakly complemented lattices are: $2^{n-2}+1$, $2^{n-3}+1$, $5\cdot 2^{n-6}+1$ and $2^{n-4}+1$. For smaller numbers of elements, several intermediate numbers of congruences appear between the elements of this sequence. After determining these numbers, along with the structures of the (dual) weakly complemented lattices having these numbers of congruences, we derive a similar result for weakly dicomplemented lattices.
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize Boolean algebras. Concept algebras are concept lattices, thus complete lattices, with a weak negation and a weak opposition. A special case of the representation problem for weakly dicomplemented lattices, posed in \cite{Kw04}, is whether complete {\wdl}s are isomorphic to concept algebras. In this contribution we give a negative answer to this question (Theorem \ref{T:main}). We also provide a new proof of a well known result due to M.H. Stone \cite{St36}, saying that {\em each Boolean algebra is a field of sets} (Corollary \ref{C:Stone}). Before these, we prove that the boundedness condition on the initial definition of {\wdl}s (Definition \ref{D:wdl}) is superfluous (Theorem \ref{T:wcl}, see also \cite{Kw09}).
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.