Let L be a complete lattice. We introduce and characterize the prime L-submodules of a unitary module over a commutative ring with identity. Finally, we investigate the Zariski topology on the prime L-Spectrum of a unitary module, consisting of the collection of all prime L-submodules, and prove that for L-top modules the Zariski topology on L-Spec(M) exists. © 2007 Elsevier B.V. All rights res...

In this note, we continue the works in the paper [Some properties of L-fuzzy approximation spaces on bounded integral residuated lattices", Information Sciences, 278, 110-126, 2014]. For a complete involutive residuated lattice, we show that the L-fuzzy topologies generated by a reflexive and transitive L-relation satisfy (TC)L or (TC)R axioms and the L-relations induced by two L-fuzzy topologi...

We introduce the concept of the intuitionistic fuzzy proximity as a generalization of fuzzy proximity, and investigate its properties. Also we investigate the relationship among intu-itionistic fuzzy proximity and fuzzy proximity, and intuitionistic fuzzy topology. 1. Introduction. As a generalization of fuzzy sets, the concept of intuitionistic fuzzy sets was introduced by Atanassov [1]. Recen...

Abstract. Let L be a lattice and M a bounded distributive lattice. Let ConL denote the congruence lattice of L, P (M) the Priestley dual space of M , and L (M) the lattice of continuous order-preserving maps from P (M) to L with the discrete topology. It is shown that Con(L ) ∼= (ConL) P (ConM) Λ , the lattice of continuous order-preserving maps from P (ConM) to ConL with the Lawson topology. V...

This paper focuses on the relationships between stratified $L$-conver-gence spaces, stratified strong $L$-convergence spaces and stratifiedlevelwise  $L$-convergence spaces. It has been known that: (1) astratified $L$-convergence space is precisely a left-continuousstratified levelwise $L$-convergence space; and (2) a  stratifiedstrong $L$-convergence space is naturally a stratified $L$-converg...

A topology on a lattice L or more generally on a partially ordered set P is called an intrinsic topology if it is de ned directly from the order Early ex amples of such topologies were the interval topology of O Frink Fr and the order topology introduced by G Birkho Bi The early intrinsic topolo gies were typically symmetric i e the topology de ned on L agreed with the topology de ned on L the ...

L. Lambán et al. () ACL2 and Algebraic Topology 1 / 23 Introduction Kenzo symbolic computation system: a Common Lisp program devoted to Algebraic (Simplicial) Topology. ◮ A research tool: used to obtain relevant results in the field, neither confirmed nor refuted by any other means. The following question makes sense: Is it Kenzo correct? Our goal: we want to formally prove correcteness propert...