Lattices and ordered algebraic structures
From MaRDI portal
Publication:1775133
zbMath1073.06001MaRDI QIDQ1775133
Publication date: 4 May 2005
Published in: Universitext (Search for Journal in Brave)
Heyting algebrasBoolean algebrasordered groupslatticesStone algebrasordered regular semigroupsDubreil-Jacotin semigroupsresiduated mappings
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Order, lattices, ordered algebraic structures (06-XX)
Related Items
On the homomorphisms of power-set \(Q\)-algebras ⋮ The adjacency matrix of a graph as a data table: a geometric perspective ⋮ OBTAINING CONTRADICTION MEASURES ON INTUITIONISTIC FUZZY SETS FROM FUZZY CONNECTIVES ⋮ Stone Relation Algebras ⋮ ℋ-Cohesive Orders Associated with Inverse Transversals ⋮ Congruence Boolean Lifting Property ⋮ Some geometrical methods for constructing contradiction measures on Atanassov's intuitionistic fuzzy sets ⋮ Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ Generalized Nash Equilibrium Problems with Partial Differential Operators: Theory, Algorithms, and Risk Aversion ⋮ A universal algebraic approach for conditional independence ⋮ Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm ⋮ A categorical view of varieties of ordered algebras ⋮ DEGREES OF RANDOMIZED COMPUTABILITY ⋮ \(E\)-inversive Dubreil-Jacotin semigroups. ⋮ Efficient Nash equilibria on semilattices ⋮ Subdirectly irreducible semilattices with endomorphism ⋮ Pre-image of functions in $C(L)$ ⋮ On subdirect decompositions of finite distributive lattices ⋮ Approximation Operators in Covering Based Rough Sets from Submodular Functions ⋮ Homomorphisms and subalgebras of decomposable MS-algebras ⋮ Hyper BL-algebras ⋮ A Syntactic Approach to Closure Operation ⋮ A Heyting algebra on Dyck paths of type \(A\) and \(B\) ⋮ Representation of nullnorms on bounded lattices ⋮ Attribute reduction using functional dependency relations in rough set theory ⋮ Stone Dualities from Opfibrations ⋮ Algorithms for non-linear and stochastic resource constrained shortest path ⋮ Frame definability in finitely valued modal logics ⋮ Activity propagation in systems of linear inequalities and its relation to block-coordinate descent in linear programs ⋮ Super-reparametrizations of weighted CSPs: properties and optimization perspective ⋮ On the constructions of t-norms on bounded lattices ⋮ The structure of representative preference ⋮ Ordered Hom-groups based on Hom-compatibility ⋮ General expression of knowledge granularity based on a fuzzy relation matrix ⋮ Further characterization of uninorms on bounded lattices ⋮ Resolution of fuzzy relation equations with increasing operations over complete lattices ⋮ Relative annihilators in bounded commutative residuated lattices ⋮ A strong duality principle for equivalence couplings and total variation ⋮ Pseudo-Kleene algebras determined by rough sets ⋮ \(\mathcal{L}\)-fuzzy annihilators in residuated lattices ⋮ The Strong Endomorphism Kernel Property in Ockham Algebras ⋮ Intuitionistic propositional logic with Galois negations ⋮ Unnamed Item ⋮ Disjunctive Multiple-Conclusion Consequence Relations ⋮ Unnamed Item ⋮ Nodal filters in Residuated Lattices ⋮ The lattices of 𝔏-fuzzy state filters in state residuated lattices ⋮ Topological Properties for Approximation Operators in Covering Based Rough Sets ⋮ An extension of $z$-ideals and $z^\circ$-ideals ⋮ Multi-Sorted Residuation ⋮ Naturally ordered regular semigroups with an inverse monoid transversal. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ PSEUDO P-CLOSURE WITH RESPECT TO IDEALS IN PSEUDO BCI-ALGEBRAS ⋮ Unnamed Item ⋮ Interval max-plus matrix equations ⋮ Uncountable critical points for congruence lattices ⋮ Unnamed Item ⋮ Measures of self-contradiction on Atanassov's intuitionistic fuzzy sets: An axiomatic model ⋮ On Amenable Orders and Inverse Transversals ⋮ Generating Isotone Galois Connections on an Unstructured Codomain ⋮ On Inverse Transversals of Ordered Regular Semigroups ⋮ Equivalence of consequence relations: an order-theoretic and categorical perspective ⋮ Discrete-Event Systems in a Dioid Framework: Modeling and Analysis ⋮ Discrete-Event Systems in a Dioid Framework: Control Theory ⋮ On generalized topological molecular lattices ⋮ E-special Ordered Regular Semigroups ⋮ Moore-Penrose equations in involutive residuated semigroups and involutive quantales ⋮ Unnamed Item ⋮ Extensional Confluences and Local Closure Operators ⋮ Extensions of Lambek Calculi ⋮ Obtaining Multi-argument Fuzzy Measures on Lattices ⋮ On the Semilattice of Modal Operators and Decompositions of the Discriminator ⋮ Constraction of a core regular double MS-algebra ⋮ Hierarchical structure and applications of fuzzy logical systems ⋮ Lattice of weak hyper K-ideals of a hyper K-algebra ⋮ EQUALIZERS IN THE CATEGORIES FUZZ AND TOPFUZZ ⋮ On the notion of ranked complementedness in a lattice ⋮ Orders on partial partitions based on block apportioning ⋮ Algebras with compatible quantale-enriched structures ⋮ Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets ⋮ Diagram induced properties of congruence lattices ⋮ On the power-set \(Q\)-algebras ⋮ Integrally closed residuated lattices ⋮ Morphisms on EMV-algebras and their applications ⋮ \(P\)-closure ideals in BCI-algebras ⋮ Stone dualities from opfibrations ⋮ Explicit formulae for the greatest least-squares and minimum norm \(g\)-inverses and the unique group inverse of matrices over commutative residuated dioids ⋮ Guaranteed scoring games ⋮ Characterizing isometries on the order polytope with an application to the theory of fuzzy measures ⋮ The unitality of quantum B-algebras ⋮ On annihilators in BL-algebras ⋮ Order preserving hierarchical agglomerative clustering ⋮ \(\mathcal{M}\)-coextensive objects and the strict refinement property ⋮ Adjunctions on the lattices of partitions and of partial partitions ⋮ Information completeness in Nelson algebras of rough sets induced by quasiorders ⋮ Hereditary \(C^\ast\)-subalgebra lattices ⋮ \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. ⋮ Rings and Gödel algebras. ⋮ The poset of closure systems on an infinite poset: detachability and semimodularity ⋮ Digital imaging: a unified topological framework ⋮ Sparsely connected autoassociative lattice memories with an application for the reconstruction of color images ⋮ Topology on digital label images ⋮ Logical connectives on lattice effect algebras ⋮ Chain conditions on BL-algebras ⋮ On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations ⋮ Ordered metric geometry ⋮ On graphs of bounded semilattices ⋮ On good EQ-algebras ⋮ Nash equilibria on topological semilattices ⋮ Representations of structural closure operators ⋮ \(d_L\)-filters of principal MS-algebras. ⋮ On the poset of computation rules for nonassociative calculus ⋮ On the homomorphism order of labeled posets ⋮ Idempotent block splitting on partial partitions. I: Isotone operators ⋮ Complementation in representable theories of region-based space ⋮ Cyclic order: a geometric analysis ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Quotients of dimension effect algebras ⋮ Artin group injection in the Hecke algebra for right-angled groups ⋮ Lattice-valued algebraic structures via residuated maps ⋮ Congruences and kernel ideals on a subclass of Ockham algebras ⋮ Residuated implications derived from quasi-overlap functions on lattices ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Transition operators assigned to physical systems ⋮ On the union and intersection operations of rough sets based on various approximation spaces ⋮ Natural congruences and isomorphism theorems for directed complete partially ordered sets ⋮ Dynamical systems on weighted lattices: general theory ⋮ On derivations and their fixed point sets in residuated lattices ⋮ \(L\)-ordered and \( L\)-lattice ordered groups ⋮ A new view of effects in a Hilbert space ⋮ Dynamic logic assigned to automata ⋮ Factor congruence lifting property ⋮ Verifying minimum spanning tree algorithms with Stone relation algebras ⋮ The lattices of kernel ideals in pseudocomplemented De Morgan algebras ⋮ Ordering partial partitions for image segmentation and filtering: merging, creating and inflating blocks ⋮ Duality and interval analysis over idempotent semirings ⋮ Interval valued L-fuzzy prime ideals, triangular norms and partially ordered groups ⋮ Monadic pseudo BCI-algebras and corresponding logics ⋮ Ordered groups and ordered geometries ⋮ On the algebraizability of the implicational fragment of abelian logic ⋮ Semimodularity and the Jordan-Hölder theorem in posets, with applications to partial partitions ⋮ The lattice of kernel ideals of a balanced pseudocomplemented Ockham algebra. ⋮ Adjacency on the order polytope with applications to the theory of fuzzy measures ⋮ Representable good EQ-algebras ⋮ Disjunctive and conjunctive multiple-conclusion consequence relations ⋮ Hearts and towers in stable \(\infty \)-categories ⋮ An algebraic framework for minimum spanning tree problems ⋮ Roughness and fuzziness in quantales. ⋮ Approximate distribution reducts in inconsistent interval-valued ordered decision tables ⋮ Very true operators on MTL-algebras ⋮ Cuts of poset-valued functions in the framework of residuated maps ⋮ The additive generators of t-norms and t-conorms on bounded lattices ⋮ The \(L\)-ordered semigroups based on \(L\)-partial orders ⋮ Monadic bounded hoops ⋮ Description of sup- and inf-preserving aggregation functions via families of clusters in data tables ⋮ Semitopological BL-algebras and MV-algebras ⋮ On naturally ordered abundant semigroups with an adequate monoid transversal ⋮ Reducing concept lattices by means of a weaker notion of congruence ⋮ A few notes on quantum \(B\)-algebras ⋮ Failure detection and localization for timed event graphs in \((\max,+)\)-algebra ⋮ Subalgebras of Heyting and De Morgan Heyting algebras ⋮ EQ-algebras ⋮ The projection problem in commutative, positively ordered monoids ⋮ CPS-translation as adjoint ⋮ On EMV-algebras ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) ⋮ Constructing overlap functions via multiplicative generators on complete lattices ⋮ On \(\mathrm{B}_{po}\)-algebras ⋮ Congruences on lattices and lattice-valued functions ⋮ Balanced factor congruences of double MS-algebras ⋮ Complete decomposable MS-algebras ⋮ Ordered semigroups of size at most 7 and linearly ordered semigroups of size at most 10. ⋮ The classifying space of an inverse semigroup. ⋮ On ideals and congruences of distributive demi-\(p\)-algebras. ⋮ Fuzzy correspondence inequations and equations ⋮ A proof of Tarski's fixed point theorem by application of Galois connections ⋮ Duality, conjugacy and adjointness of approximation operators in covering-based rough sets