scientific article; zbMATH DE number 1748069

zbMATH Open1002.06001MaRDI QIDQ4530231FDOQ4530231

Authors: Brian A. Davey, Hilary A. Priestley 

Publication date: 2 June 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

latticeapplicationsformal concept analysispartial orderBoolean algebracongruencesdistributive latticesdomainsfiltersGalois connectionidealsrepresentationalgebraic latticescomplete latticesordered setscomputer scienceBoolean latticeLindenbaum algebraCPOsocial sciencefixpoint theoremsinformations systemssubalgebraic structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Cited In (only showing first 100 items - show all)

• Labeled posets are universal
• Equational properties of stratified least fixed points (extended abstract)
• A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
• Re-visiting axioms of information systems
• Fast, linear time hierarchical clustering using the Baire metric
• The injective hull of ultra-quasi-metric versus \(q\)-hyperconvex hull of quasi-metric space
• Convergence of quasi-optimal sparse-grid approximation of Hilbert-space-valued functions: Application to random elliptic PDEs
• Distributive lattices with strong endomorphism kernel property as direct sums
• Locally finite complexes, modules and generalized information systems
• A fixed point theorem for non-monotonic functions
• The strong endomorphism kernel property for modular p-algebras and for distributive lattices
• On reduced zero-divisor graphs of posets
• Logic of negation-complete interactive proofs (formal theory of epistemic deciders)
• A note on finitely derived information systems
• Formal contexts for algebraic domains
• On a condition for semirings to induce compact information algebras.
• Representations of algebraic domains and algebraic L-domains by information systems
• Bulking II: Classifications of cellular automata
• Maximal traces and path-based coalgebraic temporal logics
• On the diameter and girth of zero-divisor graphs of posets
• Fuzzy terms
• Almost structural completeness; an algebraic approach
• The universal fuzzy automaton
• The combination technique and some generalisations
• Admissible bases via stable canonical rules
• Adjunctions on the lattices of partitions and of partial partitions
• An algebra of hybrid systems
• A note on the \(r\)-Whitney numbers of Dowling lattices
• Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
• Symmetry in data mining and analysis: a unifying view based on hierarchy
• Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras
• Moore-Smith convergence in (L,M)-fuzzy topology
• Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited
• \(n\)-contractive BL-logics
• Multivariate copulas, quasi-copulas and lattices
• Energy-preserving integrators and the structure of B-series
• A representation of L-domains by information systems
• A set-theoretic representation of algebraic L-domains
• Zero-divisor graphs of partially ordered sets
• On the lattices of \(L\)-topologies
• Permutation complexity via duality between values and orderings
• On saturated prefilter monads
• A survey on fuzzy relational equations. I: Classification and solvability
• On the weak order of Coxeter groups
• Pair algebras and Galois connections.
• An algebraic approach to computations with progress
• Guiding Craig interpolation with domain-specific abstractions
• From IF to BI. A tale of dependence and separation
• 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
• Priestley duality for bilattices
• Canonical extensions and relational representations of lattices with negation
• Coproducts of distributive lattice-based algebras.
• Fuzzy concept lattice reduction using Shannon entropy and Huffman coding
• The distributivity on bi-approximation semantics
• Thinking ultrametrically, thinking \(p\)-adically
• Symmetric generalized Galois logics
• Imaginary cone and reflection subgroups of Coxeter groups
• Endpoints in \(T_0\)-quasimetric spaces. II.
• Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
• Covering-based rough sets and modal logics. I.
• Efficient optimally lazy algorithms for minimal-interval semantics
• When do \(L\)-fuzzy ideals of a ring generate a distributive lattice?
• Computing coproducts of finitely presented Gödel algebras
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Bisimulations for fuzzy transition systems revisited
• The logical structure of truthmaking
• The linear stochastic order and directed inference for multivariate ordered distributions
• Quantale algebras as lattice-valued quantales
• New representations of algebraic domains and algebraic L-domains via closure systems
• A comprehensive survey on formal concept analysis, its research trends and applications
• Relating attribute reduction in formal, object-oriented and property-oriented concept lattices
• Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
• A study of covering dimension for the class of finite lattices.
• Robustness of temporal logic specifications for continuous-time signals
• Fraïssé sequences: category-theoretic approach to universal homogeneous structures
• Multi-adjoint property-oriented and object-oriented concept lattices
• Graph aggregation
• Reverse mathematics and order theoretic fixed point theorems
• Possibilities determine the combinatorial structure of probability polytopes
• Lattice structures for attractors. I
• On extensions of triangular norms on bounded lattices
• Some further results on free quantale algebras
• On multi-adjoint concept lattices based on heterogeneous conjunctors
• A qualitative approach to Markovian equilibrium in infinite horizon economies with capital
• Probabilistic operational semantics for the lambda calculus
• Relational lattices via duality
• Canonicity results of substructural and lattice-based logics
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• Logical geometries and information in the square of oppositions
• The lattice-theoretic structure of sets of bivariate copulas and quasi-copulas
• Global dynamics for steep nonlinearities in two dimensions
• Time Optimal Self-assembly for 2D and 3D Shapes: The Case of Squares and Cubes
• On quotients of formal power series
• Distributive bilattices from the perspective of natural duality theory.
• Symmetric decompositions and the strong Sperner property for noncrossing partition lattices
• The Strong Endomorphism Kernel Property in Ockham Algebras
• Generalizations of Boolean products for lattice-ordered algebras
• Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
• Extending uncertainty formalisms to linear constraints and other complex formalisms
• On heterogeneous formal contexts

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)