(R1466) Ideals and Filters on a Lattice in Neutrosophic Setting

The notions of ideals and filters have studied in many algebraic (crisp) fuzzy structures and used to study their various properties, representations and characterizations. In addition to their theoretical roles, they have used in some areas of applied mathematics. In a recent paper, Arockiarani and Antony Crispin Sweety have generalized and studied these notions with respect to the concept of neutrosophic sets introduced by Smarandache to represent imprecise, incomplete and inconsistent information. In this article, we aim to deepen the study of these important notions on a given lattice in the neutrosophic setting. We show their various properties and characterizations, in particular, we pay attention to their characterizations based on of the lattice min and max operations. In addition, we study the notion of prime single-valued neutrosophic ideal (resp. filter) as interesting kind and we discuss some its set-operations, complement and associate sets

Stone-type representations and dualities for varieties of bisemilattices

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes' representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas-Dunn duality and introduce the categories of 2spaces and 2spaces$^{\star}$. The categories of 2spaces and 2spaces$^{\star}$ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent

LL-fuzzy ideal degrees in effect algebras

summary:In this paper, considering $L$ being a completely distributive lattice, we first introduce the concept of $L$-fuzzy ideal degrees in an effect algebra $E$, in symbol $\mathfrak{D}_{ei}$. Further, we characterize $L$-fuzzy ideal degrees by cut sets. Then it is shown that an $L$-fuzzy subset $A$ in $E$ is an $L$-fuzzy ideal if and only if $\mathfrak{D}_{ei}(A)=\top,$ which can be seen as a generalization of fuzzy ideals. Later, we discuss the relations between $L$-fuzzy ideals and cut sets ($L_{\beta}$-nested sets and $L_{\alpha}$-nested sets). Finally, we obtain that the $L$-fuzzy ideal degree is an $(L,L)$-fuzzy convexity. The morphism between two effect algebras is an $(L,L)$-fuzzy convexity-preserving mapping

Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology

A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure of data through topology. The basic techniques have been extended in several different directions, permuting the encoding of topological features by so called barcodes or equivalently persistence diagrams. The set of points of all such diagrams determines a complete Heyting algebra that can explain aspects of the relations between persistent bars through the algebraic properties of its underlying lattice structure. In this paper, we investigate the topos of sheaves over such algebra, as well as discuss its construction and potential for a generalised simplicial homology over it. In particular we are interested in establishing a topos theoretic unifying theory for the various flavours of persistent homology that have emerged so far, providing a global perspective over the algebraic foundations of applied and computational topology.Comment: 20 pages, 12 figures, AAA88 Conference proceedings at Demonstratio Mathematica. The new version has restructured arguments, clearer intuition is provided, and several typos correcte