scientific article; zbMATH DE number 1748069

MaRDI QIDQ4530231zbMATH OpenFDO

Authors Brian A. Davey, Hilary A. Priestley

Publication date 2 June 2002

Recommendations

scientific article; zbMATH DE number 194916
scientific article; zbMATH DE number 5367214
Sets and ordered structures
Varieties and other classes of lattices. Categorical questions
Lattices and ordered algebraic structures
Orders, lattices and relations with applications
Orders and lattices. Basics, approaches and applications
Finite ordered sets. Concepts, results and applications
Concept Lattices

Cited in

(only showing first 100 items - show all)

An incremental algorithm to construct a lattice of set intersections
An algebra of hybrid systems
Bi-inductive structural semantics
Canonical extensions and relational representations of lattices with negation
Cascade estimators for systems on a partial order
Generalizations of Boolean products for lattice-ordered algebras
Formal concept analysis via multi-adjoint concept lattices
Distributive lattices of small width. II: A problem from Stanley's 1986 text \textsl{Enumerative combinatorics}
Packing and covering k-chain free subsets in Boolean lattices
MacNeille completion and profinite completion can coincide on finitely generated modal algebras
Symmetry in data mining and analysis: a unifying view based on hierarchy
Probabilistic argumentation systems. A new way to combine logic with probability.
Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
A fast algorithm for building lattices
Approximate transformations of bipartite pure-state entanglement from the majorization lattice
Asymmetric norms given by symmetrisation and specialisation order
Embeddability into relational lattices is undecidable
Bisimulations for fuzzy transition systems revisited
A graph-based algorithm for the multi-objective optimization of gene regulatory networks
A note on sums of roots
Pathwise duals of monotone and additive Markov processes
Lattice-theoretic contexts and their concept lattices via Galois ideals
Artin groups of Euclidean type
On lattice-valued maps stemming from the notion of optimal average
The spectra of irreducible matrices over completed idempotent semifields
Lattice fuzzy transforms from the perspective of mathematical morphology
Topology on BL-algebras
A clone-based representation of the fuzzy tolerance or equivalence relations a strict order relation is compatible with
Monotonicity-based consensus states for the monometric rationalisation of ranking rules and how they are affected by ties
Restricted Priestley dualities and discriminator varieties
Galois connections between generating systems of sets and sequences
On the dual Ramsey property for finite distributive lattices
Spectral reflections of topological spaces
Global dynamics for steep nonlinearities in two dimensions
On homomorphisms between products of median algebras
Fundamental properties of attack relations in structured argumentation with priorities
Markov chains and Markov decision processes in Isabelle/HOL
Cut approach to invariance groups of lattice-valued functions
Quantale algebras as lattice-valued quantales
Representing attribute reduction and concepts in concept lattice using graphs
The TL-fuzzy rough approximation operators on a lattice
Scalable eventually consistent counters over unreliable networks
Well quasi orders in a categorical setting
Stochastic transitivity: axioms and models
\(\mathcal{MN}\)-convergence and \(\lim\)-\(\inf_{\mathcal{M}}\)-convergence in partially ordered sets
Galois connections between sets of paths and closure operators in simple graphs
A semantic hierarchy for intuitionistic logic
Sheaves and duality
\(s_{2}\)-C-continuous poset
On subset families that form a continuous lattice
Polynomial-time algorithms for computing distances of fuzzy transition systems
Permutable fuzzy consequence and interior operators and their connection with fuzzy relations
A natural Galois connection between generalized norms and metrics
The lattice structure of \(\mathbf{L}\)-contact relations
Evolution in time of \(L\)-fuzzy context sequences
Time-optimal velocity planning by a bound-tightening technique
Angelic processes for CSP via the UTP
On evolution of an information dynamic system and its generating operator
Composite variety-based topological theories
Join-completions of \(L\)-ordered sets
Fast, linear time, m-adic hierarchical clustering for search and retrieval using the Baire metric, with linkages to generalized ultrametrics, hashing, formal concept analysis, and precision of data measurement
Characterization of rankings generated by linear discriminant analysis
An optimal strategy for sequential classification on partially ordered sets
Autonomous indefiniteness versus external indefiniteness: Theory of weak topped -structure and its application to elementary local cellular automaton
Lattices and ordered algebraic structures
Linear extensions of ranked posets, enumerated by descents. A problem of Stanley from the 1981 Banff conference on ordered sets
Congruences on near-Heyting algebras
Toward an algebraic theory of systems
Poset product and BL-chains
k-maxitive Sugeno integrals as aggregation models for ordinal preferences
Notes on topological BL-algebras
Fuzzy extended filters on residuated lattices
Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice
The logic of distributive nearlattices
Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset
A new algorithm for Boolean matrix factorization which admits overcovering
Locally complete consistent F-augmented contexts: a category-theoretic representation of algebraic L-domains
The automorphism group of the Fibonacci poset: A ``not too difficult problem of Stanley from 1988
Symmetric generalized Galois logics
Minimally generated abstract logics
On the level decompositions by the range of an \(L\)-fuzzy topological space
Dijkstra, Floyd and Warshall meet Kleene
On the poset of computation rules for nonassociative calculus
Aggregation and residuation
_1-completions of a poset.
Zero-divisor graphs of nilpotent-free semigroups.
Deciding the word problem in pure double Boolean algebras
Modal event-clock specifications for timed component-based design
The linear stochastic order and directed inference for multivariate ordered distributions
Proper/residually-finite idempotent semirings.
The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
On the computational complexity of data flow analysis over finite bounded meet semilattices
Skills first -- an alternative approach to construct knowledge spaces
A general framework for studying certain generalized topologically open sets in relator spaces
New representations of algebraic domains and algebraic L-domains via closure systems
Topologies for semicontinuous Richter-Peleg multi-utilities
Free and cofree \(S\)-quantales
On lattice path matroid polytopes: integer points and Ehrhart polynomial
A unifying approach to algebraic systems over semirings
Topological spaces of monadic MV-algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530231)