scientific article; zbMATH DE number 1748069
From MaRDI portal
Publication:4530231
latticeapplicationsformal concept analysispartial orderBoolean algebracongruencesdistributive latticesdomainsfiltersGalois connectionidealsrepresentationalgebraic latticescomplete latticesordered setscomputer scienceBoolean latticeLindenbaum algebraCPOsocial sciencefixpoint theoremsinformations systemssubalgebraic structures
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)- The hull-kernel topology on prime ideals in ordered semigroups
- Partial order embeddings with convex range
- (\(S,N\))-implications on bounded lattices
- Fuzzy rough sets based on Morsi fuzzy hemimetrics
- The fixed-point theory of strictly causal functions
- Groups acting on tensor products.
- Contracting optimally an interval matrix without loosing any positive semi-definite matrix is a tractable problem
- Bacterial phylogeny in the Cayley graph
- Constructions of overlap functions on bounded lattices
- \textit{SI}-convergence in \(T_0\) spaces
- scientific article; zbMATH DE number 6027026 (Why is no real title available?)
- Bounded distributive lattices with strict implication and weak difference
- Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras
- Power contexts and their concept lattices
- Labeled posets are universal
- Birelator spaces are natural generalizations of not only bitopological spaces, but also ideal topological spaces
- Unary-determined distributive -magmas and bunched implication algebras
- A general framework for studying certain generalized topologically open sets in relator spaces
- Topologies for semicontinuous Richter-Peleg multi-utilities
- Free and cofree \(S\)-quantales
- A lattice isomorphism theorem for cluster groups of mutation-Dynkin type \(A_{n}\)
- scientific article; zbMATH DE number 7397337 (Why is no real title available?)
- The number of clones determined by disjunctions of unary relations
- Supercover semantics for deontic action logic
- Noise as a Boolean algebra of \(\sigma\)-fields
- scientific article; zbMATH DE number 7732319 (Why is no real title available?)
- Equational properties of stratified least fixed points (extended abstract)
- Arboreal categories and equi-resource homomorphism preservation theorems
- Relational semantics for normal topological quasi-Boolean logic
- A new algorithm for Boolean matrix factorization which admits overcovering
- scientific article; zbMATH DE number 7021368 (Why is no real title available?)
- Arboreal Categories: An Axiomatic Theory of Resources
- Structures of oppositions in public announcement logic
- Structure of Birkhoff center of \(c\)-semirings
- Rough sets induced by ideals in lattices
- Truth, proof, and reproducibility: there's no counter-attack for the codeless
- Exploring well-gradedness in polytomous knowledge structures
- Finding diverse minimum s-t cuts
- On the topology of the Cambrian semilattices.
- Foundations of inference
- Scholarly influence
- The embedding of annihilating-ideal graphs associated to lattices in the projective plane
- Set-theoretic properties of generalized topologically open sets in relator spaces
- scientific article; zbMATH DE number 7551770 (Why is no real title available?)
- A modular formal semantics for Ptolemy
- Analogy between concepts
- Rich lattices of multiplier topologies
- Bi-inductive structural semantics
- Re-visiting axioms of information systems
- Multilattice as the set of truth values for fuzzy rough sets
- Embedding the Calendar and Time Type System in Temporal Type Theory
- Fast, linear time hierarchical clustering using the Baire metric
- The injective hull of ultra-quasi-metric versus q-hyperconvex hull of quasi-metric space
- A semantics for probabilistic hybrid knowledge bases with function symbols
- Invariant functionals on completely distributive lattices
- Comparability graphs of lattices
- Composite variety-based topological theories
- Machine semantics
- Algebraic properties of if-then-else and commutative three-valued tests
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem
- Lattices defined by multigranular rough sets
- Nonlinear desirability as a linear classification problem
- A relational semantics for the logic of bounded lattices
- Order cones: a tool for deriving \(k\)-dimensional faces of cones of subfamilies of monotone games
- A characterization of c-type subrings of C(X) of some kind
- On Stalnaker's simple theory of propositions
- Convergence of quasi-optimal sparse-grid approximation of Hilbert-space-valued functions: Application to random elliptic PDEs
- Raney algebras and duality for T₀-spaces
- Equidecomposable magmas
- A fuzzy evaluation approach with the quasi-ordered set: evaluating the efficiency of decision making units
- Trimness of closed intervals in Cambrian semilattices
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- Zero-sets of copulas
- RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS
- Restricted bi-pattern mining
- Galois connection between Lipschitz and linear operator ideals and minimal Lipschitz operator ideals
- Viable set computation for hybrid systems
- Theory of generalized risk attitudes
- An asymmetric characterization of the congruence frame
- Conservative median algebras and semilattices.
- Logics of order and related notions
- Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice
- scientific article; zbMATH DE number 3103212 (Why is no real title available?)
- Modal MTL-algebras
- A Galois connection related to restrictions of continuous real functions
- Interpolation by lattice polynomial functions: a polynomial time algorithm
- Characterization of metrizable Esakia spaces via some forbidden configurations
- The problem of dispersion-free probabilities in Gleason-type theorems for a two-dimensional Hilbert space
- scientific article; zbMATH DE number 7243670 (Why is no real title available?)
- Normal hyperlattices and pure ideals of hyperlattices.
- Some classes of distance spaces as generalized metric spaces: terminology, mappings, fixed points and applications in theoretical informatics
- Does the endomorphism poset $P^P$ determine whether a finite poset $P$ is connected? An issue Duffus raised in 1978
- On subset families that form a continuous lattice
- scientific article; zbMATH DE number 7566024 (Why is no real title available?)
- Notes on ``Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms
- Finite dimensional scattered posets
- The free distributive semilattice extension of a distributive poset
- Incidence structures and Stone-Priestley duality
- Interpolation by polynomial functions of distributive lattices: a generalization of a theorem of R. L. Goodstein
- Decidability of lattice equations
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)