scientific article; zbMATH DE number 1748069
From MaRDI portal
Publication:4530231
zbMath1002.06001MaRDI QIDQ4530231
Brian A. Davey, Hilary A. Priestley
Publication date: 2 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
latticedomainscomplete latticesrepresentationBoolean algebradistributive latticesGalois connectioncongruencesapplicationsBoolean latticepartial orderidealscomputer scienceformal concept analysisfilterssocial sciencealgebraic latticesordered setsLindenbaum algebraCPOfixpoint theoremsinformations systemssubalgebraic structures
Related Items
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, Symmetric generalized Galois logics, Minimally generated abstract logics, 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, On the level decompositions by the range of an \(L\)-fuzzy topological space, Fundamental properties of attack relations in structured argumentation with priorities, Dijkstra, Floyd and Warshall meet Kleene, On the poset of computation rules for nonassociative calculus, Aggregation and residuation, \(\Delta_1\)-completions of a poset., Markov chains and Markov decision processes in Isabelle/HOL, Cut approach to invariance groups of lattice-valued functions, Quantale algebras as lattice-valued quantales, Zero-divisor graphs of nilpotent-free semigroups., Deciding the word problem in pure double Boolean algebras, Representing attribute reduction and concepts in concept lattice using graphs, The TL-fuzzy rough approximation operators on a lattice, 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, 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, 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, Sheaves and duality, \(s_{2}\)-C-continuous poset, On subset families that form a continuous lattice, Topologies for semicontinuous Richter-Peleg multi-utilities, Free and cofree \(S\)-quantales, Polynomial-time algorithms for computing distances of fuzzy transition systems, Permutable fuzzy consequence and interior operators and their connection with fuzzy relations, On lattice path matroid polytopes: integer points and Ehrhart polynomial, 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, A unifying approach to algebraic systems over semirings, On evolution of an information dynamic system and its generating operator, Topological spaces of monadic MV-algebras, Dynamic epistemic logics of diffusion and prediction in social networks, 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, On the emergence of regularities on one-dimensional decreasing sandpiles, Characterization of rankings generated by linear discriminant analysis, Dependency relations, An optimal strategy for sequential classification on partially ordered sets, Capacities and overlap indexes with an application in fuzzy rule-based classification systems, Endpoints in \(T_0\)-quasimetric spaces. II., Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order, Autonomous indefiniteness versus external indefiniteness: Theory of weak topped \(\cap\)-structure and its application to elementary local cellular automaton, Abduction: a categorical characterization, Linear extensions of ranked posets, enumerated by descents. A problem of Stanley from the 1981 Banff conference on ordered sets, Generalized ordinal sums of aggregation operators on bounded lattices, Rough sets based on Galois connections, A lightweight deadlock analysis for programs with threads and reentrant locks, A categorical duality for semilattices and lattices, Congruences on near-Heyting algebras, Toward an algebraic theory of systems, On the dualization in distributive lattices and related problems, Translating between the representations of a ranked convex geometry, Computational complexity for bounded distributive lattices with negation, Poset product and BL-chains, A feedback control perspective on biological control of dengue vectors by \textit{Wolbachia} infection, Medians are below joins in semimodular lattices of breadth 2, \(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, The injective hull of ultra-quasi-metric versus \(q\)-hyperconvex hull of quasi-metric space, 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), Representations of algebraic domains and algebraic L-domains by information systems, On a condition for semirings to induce compact information algebras., A note on finitely derived information systems, Formal contexts for algebraic domains, Fuzzy terms, Almost structural completeness; an algebraic approach, The universal fuzzy automaton, Admissible bases via stable canonical rules, Pair algebras and Galois connections., An algebraic approach to computations with progress, Guiding Craig interpolation with domain-specific abstractions, The distributivity on bi-approximation semantics, Covering-based rough sets and modal logics. I., Efficient optimally lazy algorithms for minimal-interval semantics, Convergence of quasi-optimal sparse-grid approximation of Hilbert-space-valued functions: Application to random elliptic PDEs, When do \(L\)-fuzzy ideals of a ring generate a distributive lattice?, A comprehensive survey on formal concept analysis, its research trends and applications, Possibilities determine the combinatorial structure of probability polytopes, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, Relating attribute reduction in formal, object-oriented and property-oriented concept lattices, Constraint satisfaction, irredundant axiomatisability and continuous colouring, Locales as spectral spaces, Imperative abstractions for functional actions, Energy-preserving integrators and the structure of B-series, Natural dualities for three classes of relational structures, Adjunctions on the lattices of partitions and of partial partitions, A note on the \(r\)-Whitney numbers of Dowling lattices, Convergence of preference functions, A non-commutative Priestley duality., Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras, Groups acting on tensor products., On the topology of the Cambrian semilattices., The poset of closure systems on an infinite poset: detachability and semimodularity, Foundations of inference, Application of static analyses for state-space reduction to the microcontroller binary code, Fraïssé sequences: category-theoretic approach to universal homogeneous structures, Scholarly influence, The extended permutohedron on a transitive binary relation., Rules for aggregating information, Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras, On limits and colimits of variety-based topological systems, Natural duality, modality, and coalgebra, Moore-Smith convergence in (L,M)-fuzzy topology, On the diameter and girth of zero-divisor graphs of posets, A lattice-theoretical perspective on adhesive categories, Constructive semantics for instantaneous reactions, Nearlattices with an overriding operation, On the homomorphism order of labeled posets, Idempotent block splitting on partial partitions. I: Isotone operators, On rough set and fuzzy sublattice, Fundamental results for pointfree convex geometry, Mechanised wire-wise verification of Handel-C synthesis, A minimum problem for finite sets of real numbers with nonnegative sum, Countable homogeneous linearly ordered posets, Constructive Boolean circuits and the exactness of timed ternary simulation, Extension of fuzzy logic operators defined on bounded lattices via retractions, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, Priestley duality for bilattices, Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras, Multi-adjoint property-oriented and object-oriented concept lattices, Canonical extensions of posets., Definition of flat poset and existence theorems for recursive call, Coproducts of distributive lattice-based algebras., A particular Galois connection between relations and set functions., Solving non-linear constraint satisfaction problems involving time-dependent functions, Algorithmic correspondence for intuitionistic modal mu-calculus, Algebraic Kripke-style semantics for relevance logics, A sharing-based approach to supporting adaptation in service compositions, The \(m\)-cover posets and their applications, From-below approximations in Boolean matrix factorization: geometry and new algorithm, Gödel algebras: interactive dualities and their applications., TiRS graphs and TiRS frames: a new setting for duals of canonical extensions, The logical structure of truthmaking, Dualization in lattices given by ordered sets of irreducibles, Algorithms for \(k\)-meet-semidistributive lattices, On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\), Trimness of closed intervals in Cambrian semilattices, Answer to some open questions on covering dimension for finite lattices, Graph aggregation, Lattice structures for attractors. II, A new view of relationship between atomic posets and complete (algebraic) lattices, Uniform topology on EQ-algebras, Reverse mathematics and order theoretic fixed point theorems, Completely lattice \(L\)-ordered sets with and without \(L\)-equality, Invariant functionals on completely distributive lattices, \(n\)-contractive BL-logics, An asymmetric characterization of the congruence frame, Self-commuting lattice polynomial functions on chains, Extending conceptualisation modes for generalised formal concept analysis, Valuations and closure operators on finite lattices, Fixpoints for general correctness, Bulking II: Classifications of cellular automata, Multivariate copulas, quasi-copulas and lattices, Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations, Re-visiting axioms of information systems, Fast, linear time hierarchical clustering using the Baire metric, A geometric study of cores of idempotent stochastic matrices, On neutrosophic soft lattices, Projective zero divisor graphs of partially ordered sets, A hitchhiker's guide to quasi-copulas, Zero-sets of copulas, Composition iterates, Cauchy, translation, and Sincov inclusions, A geometric realization of socle-projective categories for posets of type \(\mathbb{A}\), Representations of stably continuous semi-lattices by information systems and abstract bases, Team bisimilarity, and its associated modal logic, for BPP nets, Bitopological duality for algebras of Fitting's logic and natural duality extension, On language varieties without Boolean operations, Approximate bit dependency analysis to identify program synthesis problems as infeasible, The measurement of relations on belief functions based on the Kantorovich problem and the Wasserstein metric, Graded polygons of opposition in fuzzy formal concept analysis, Residuated implications derived from quasi-overlap functions on lattices, Defining rough sets as core-support pairs of three-valued functions, A semantics for hybrid probabilistic logic programs with function symbols, A computational framework for connection matrix theory, On the logic of belief and propositional quantification, Exact bounded-error continuous-time linear state estimator, Curriculum spaces and mathematical models for curriculum design, Beyond vacuity: towards the strongest passing formula, Equivalence of right infinite words, Viable set computation for hybrid systems, A fixed point theorem for non-monotonic functions, The fixed-point theory of strictly causal functions, Logical geometries and information in the square of oppositions, Product representation for default bilattices: an application of natural duality theory., Principal mappings between posets, The categorical equivalence between algebraic domains and F-augmented closure spaces., Multi-adjoint t-concept lattices, When will every maximal \(F\)-free subposet contain a maximal element?, Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices, On extensions of triangular norms on bounded lattices, Algorithmic correspondence and canonicity for non-distributive logics, Type-II intermittency from Markov binary block visibility graph perspective, The balanced pseudocomplemented Ockham algebras with the strong endomorphism kernel property, Valuations: bi, tri, and tetra, Bottom-up: a new algorithm to generate random linear extensions of a poset, An information-theoretic framework for the lossy compression of link streams, FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation, Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \), Mathematical logic of notions and concepts, Lattice representations with set partitions induced by pairings, Notes on ``Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms, The clone relation of a binary relation, Lower topological poset models of \(T_1\) topological spaces, The granular partition lattice of an information table, Notes on ``Solution sets of inf-\(\alpha_{\mathcal{T}}\) fuzzy relational equations on complete Brouwerian lattices and ``Fuzzy relational equations on complete Brouwerian lattices, Missing values and dragonfly operations in fuzzy relational compositions, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, Using extremal events to characterize noisy time series, Structure and enumeration results of matchable Lucas cubes, Deciding probabilistic bisimilarity distance one for probabilistic automata, Difference hierarchies and duality with an application to formal languages, On two alternative axiomatizations of lattices by McKenzie and Sholander, Lattice-equivalence of convex spaces, The free distributive semilattice extension of a distributive poset, On hyperlattices: congruence relations, ideals and homomorphism, Arithmetic and \(k\)-maximality of the cyclic free magma, Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids, The embedding of annihilating-ideal graphs associated to lattices in the projective plane, A lattice isomorphism theorem for cluster groups of mutation-Dynkin type \(A_{n}\), The sum of observables on a \(\sigma\)-distributive lattice effect algebra, Analogy between concepts, The number of clones determined by disjunctions of unary relations, A study of the quasi covering dimension of finite lattices, Supercover semantics for deontic action logic, A Galois connection related to restrictions of continuous real functions, A comparison framework for interleaved persistence modules, On the lattice structure of the set of supermodular quasi-copulas, Left- and right-compatibility of order relations and fuzzy tolerance relations, Interpolation by lattice polynomial functions: a polynomial time algorithm, Characterization of metrizable Esakia spaces via some forbidden configurations, Distributive laws for monotone specifications, The problem of dispersion-free probabilities in Gleason-type theorems for a two-dimensional Hilbert space, Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation, Proper multi-type display calculi for rough algebras, A completion for distributive nearlattices, A study of a covering dimension of finite lattices, On A neglected path to intuitionism, A study of covering dimension for the class of finite lattices., A Motzkin filter in the Tamari lattice, Distributive bilattices from the perspective of natural duality theory., Generic flux coupling analysis, Modalities for an allegorical conceptual data model, Weak \(n\)-ary relational products in allegories, Dual Euclidean Artin groups and the failure of the lattice property., Denotational fixed-point semantics for constructive scheduling of synchronous concurrency, Moore systems and Moore convergence classes of families of nets, On heterogeneous formal contexts, Pseudo-polynomial functions over finite distributive lattices, A new way to extend t-norms, t-conorms and negations, On the extension of lattice-valued implications via retractions, Differential information in large games with strategic complementarities, A proof of Tarski's fixed point theorem by application of Galois connections, On some semi-intuitionistic logics, The lattice structure of the S-Lorenz core, Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets., A categorical representation of algebraic domains based on variations of rough approximable concepts, On weakly associative lattices and near lattices, Some partial results on the cancellation law for the tensor product of complete lattices, On logical and extensional characterizations of attributed feature models, The monad on strong quasi-metric spaces, Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions, Information systems for continuous semi-lattices, An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms, Generalizing topological set operators, Lattices of irreducibly-derived closed sets, Combining algebraic effect descriptions using the tensor of complete lattices, Stone dualities from opfibrations, Complexity reduction and approximation of multidomain systems of partially ordered data, Criterion for a graph to admit a good orientation in terms of leaf blocks, On extremal domains and codomains for convolution of distributions and fractional calculus, A logic and computation for Popper's conditional probabilities, Soundness and completeness results for LEA and probability semantics, Reducts of relation algebras: the aspects of axiomatisability and finite representability, On orderings in security models, Convexity on complete lattices, Granular matrix method of attribute reduction in formal contexts, A modal view on resource-bounded propositional logics, Poset exponentiation and a counterexample Birkhoff said in 1942 he did not have, Vietoris hyperspaces over scattered Priestley spaces, Notes on the polytomous generalization of knowledge space theory, Choice-free duality for orthocomplemented lattices by means of spectral spaces, Automatization of ternary Boolean algebras, Algebraic machine learning: emphasis on efficiency, Lattice structures for attractors. III, Weyl integrals on weighted spaces, On the polytomous generalization of knowledge space theory, Irreducible convergence in \(T_0\) spaces, Associative, idempotent, symmetric, and order-preserving operations on chains, An algebraic theory for data linkage, Rough sets based on fuzzy ideals in distributive lattices, Interval-valued fuzzy morphological associative memories: some theoretical aspects and applications, Some classes of abstract simplicial complexes motivated by module theory, Geometric and combinatorial aspects of submonoids of a finite-rank free commutative monoid, Application of two different methods for extending lattice-valued restricted equivalence functions used for constructing similarity measures on \(L\)-fuzzy sets, The homomorphism equation on semilattices, A solution of the minimum-time speed planning problem based on lattice theory, A note on the Knaster-Tarski fixpoint theorem, \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields, Near-ring congruences on additively regular seminearrings, Toward a Dempster-Shafer theory of concepts, Constructions of overlap functions on bounded lattices, Alternative approaches for generating uninorms on bounded lattices, Equidecomposable magmas, A fuzzy evaluation approach with the quasi-ordered set: evaluating the efficiency of decision making units, Rough-set-driven approach for attribute reduction in fuzzy formal concept analysis, Poset product and BL-algebras, Measuring the `leaving no one behind' principle in the European countries: an AROPE-based fuzzy logic approach, Implication operators generating pairs of weak negations and their algebraic structure, Multi-adjoint concept lattices via quantaloid-enriched categories, Compatible attribute subcontexts of one-sided vague formal concept lattices, On (bi) linked group congruences on (bi) linked semigroups, Galois connections for bilattices, Applying Young diagrams to 2-symmetric fuzzy measures with an application to general fuzzy measures, Finite distributive nearlattices, Some further results on free quantale algebras, Fuzzy betweenness relations and their connection with fuzzy order relations, Lattice-based sum of t-norms on bounded lattices, Reasoning about distributed information with infinitely many agents, Galois connections for patterns: an algebra of labelled graphs, Comparing reactions in reaction systems, Algebraic structure of fuzzy signatures, Reducing concept lattices by means of a weaker notion of congruence, Some further results on the cancellation law for partially ordered sets and \(T_0\)-spaces, Meet meets join: the interaction between pooled and common knowledge, Representation of bifinite domains by BF-closure spaces, Lattices with normal elements, Centered partition processes: informative priors for clustering (with discussion), Impact of local congruences in variable selection from datasets, An algebraic study of S5-modal Gödel logic, Hyper-MacNeille completions of Heyting algebras, A representation of FS-domains by formal concept analysis, \(L\)-valued quasi-overlap functions, \(L\)-valued overlap index, and Alexandroff's topology, Super and hyper products of super relations, Ensuring reference independence and cautious monotony in abstract argumentation, A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis, Information algebras in the theory of imprecise probabilities, Cone types, automata, and regular partitions in Coxeter groups, Periodic P-partitions, Ordinary, super and hyper relators can be used to treat the various generalized open sets in a unified way, Set-theoretic properties of generalized topologically open sets in relator spaces, On the lattices of exact and weakly exact structures, Experiments on \(F\)-restricted bi-pattern mining, On Galois connections between polytomous knowledge structures and polytomous attributions, Injective hulls in the category of mildly distributive semilattices, A weakened notion of congruence to reduce concept lattices, Congruences on lattices and lattice-valued functions, Submodular functions and rooted trees, Stone algebras: 3-valued logic and rough sets, Lattices defined by multigranular rough sets, Nonlinear desirability as a linear classification problem, Logics of order and related notions, Formalization of quasilattices, \(M\)-fuzzifying \(k\)-pseudo metric space and its induced \(M\)-fuzzifying structures, Representing partition lattices through FCA, A new kind of implication to reason with unknown information, On Hilbert algebras generated by the order, \textit{SI}-convergence in \(T_0\) spaces, Approximate transformations of bipartite pure-state entanglement from the majorization lattice, Modeling misconceptions in knowledge space theory, 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, Raney algebras and duality for \(T_0\)-spaces, From IF to BI. A tale of dependence and separation, A note on cut-worthiness of recognizable tree series, Specialization models for a general fuzzy set covering framework, Even poset and a parity result for binary linear code, Generalized ultrametric spaces in quantitative domain theory, The combination technique and some generalisations, Descending chains and antichains of the unary, linear, and monotone subfunction relations, Finite distributive concept algebras, Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations, Horn axiomatizations for sequential data, Cycles and communicating classes in membrane systems and molecular dynamics, Maximum \(H\)-colourable subdigraphs and constraint optimization with arbitrary weights, The covering problem in Rosenbloom-Tsfasman spaces, On the order-theoretic properties of lower concept formula systems, Lattice based communication P systems with applications in cluster analysis, Open set lattices of subspaces of spectrum spaces, Bases of closure systems over residuated lattices, A representation of L-domains by information systems, Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory, A concept approach to input/output logic, Gödel spaces and perfect MV-algebras, Individualized skill assessment in educational games: the mathematical foundations of partitioning, An axiomatic analysis of structured argumentation with priorities, Chu connections and back diagonals between \(\mathcal{Q}\)-distributors, Multi-adjoint algebras versus non-commutative residuated structures, Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras, On additively commutative near-ring congruences on seminearrings., Posets of finite functions, Maximal traces and path-based coalgebraic temporal logics, Remarks on homomorphism-homogeneous lattices and semilattices, Power contexts and their concept lattices, Approximation of sets based on partial covering, A geometric connection to threshold logic via cubical lattices, Representation of Nelson algebras by rough sets determined by quasiorders, On canonicity of poset expansions, Crown-free lattices and their related graphs, Endolocality meets homomorphism-homogeneity: A new approach in the study of relational algebras, Probabilistic argumentation systems. A new way to combine logic with probability., Grammar semantics, analysis and parsing by abstract interpretation, The lattice-theoretic structure of the sets of triangular norms and semi-copulas, Algebraic neighbourhood logic, A framework for the verification of infinite-state graph transformation systems, Modelling higher-order dual nondeterminacy, A Hofmann-Mislove theorem for bitopological spaces, Ordering the order of a distributive lattice by itself, Causal set topology, On the Dedekind-MacNeille completion and formal concept analysis based on multilattices, Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges, Machine semantics, On multi-adjoint concept lattices based on heterogeneous conjunctors, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Zero-divisor graphs of partially ordered sets, Using abstract interpretation to add type checking for interfaces in Java bytecode verification, Priestley duality for paraconsistent Nelson's logic, Counting linear extension majority cycles in partially ordered sets on up to 13 elements, Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited, Triangle, parallelogram, and trapezoid orders, Permutation complexity via duality between values and orderings, Algebraic aspects of generalized approximation spaces, The homomorphism lattice induced by a finite algebra, A classification of countable lower 1-transitive linear orders, A spectral-style duality for distributive posets, On the lattices of \(L\)-topologies, Set choice problems with incomplete information about the preferences of the decision maker, Rough sets induced by ideals in lattices, Representing roommates' preferences with symmetric utilities, Deadlock analysis of unbounded process networks, Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness, Frame rule for mutually recursive procedures manipulating pointers, Robustness of temporal logic specifications for continuous-time signals, An incremental algorithm to construct a lattice of set intersections, An algebra of hybrid systems, A survey on fuzzy relational equations. I: Classification and solvability, Beneš's partial model of NF: an old result revisited, A systematic methodology for automated theorem finding, Bi-inductive structural semantics, Skolemizing algebraically closed universal classes of algebras, Canonical extensions and relational representations of lattices with negation, Cascade estimators for systems on a partial order, Expansions of semi-Heyting algebras. I: Discriminator varieties, Correct hardware synthesis, Generalizations of Boolean products for lattice-ordered algebras, Formal concept analysis via multi-adjoint concept lattices, The category of G-posets, Convolution operators on weighted spaces of continuous functions and supremal convolution, Distributive lattices of small width. II: A problem from Stanley's 1986 text \textsl{Enumerative combinatorics}, Fuzzy alternating automata over distributive lattices, Packing and covering k-chain free subsets in Boolean lattices, Generalizing Galvin and Jónsson's classification to \(N_5\), MacNeille completion and profinite completion can coincide on finitely generated modal algebras, Symmetry in data mining and analysis: a unifying view based on hierarchy, A fast algorithm for building lattices, Using interval arithmetic to prove that a set is path-connected, Uniform interpolation and compact congruences, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Distributive Lattice-Structured Ontologies, Fuzzy tree automata, Extended feature algebra, Fuzzy ideals of ordered semigroups with fuzzy orderings, Duality, non-standard elements, and dynamic properties of r.e. sets, Interpolation by polynomial functions of distributive lattices: a generalization of a theorem of R. L. Goodstein, Similarity-based minimization of fuzzy tree automata, Extending uncertainty formalisms to linear constraints and other complex formalisms, Topological categories, quantaloids and Isbell adjunctions, A universal algebraic approach for conditional independence, A formal model for access control with supporting spatial context, Incidence structures and Stone-Priestley duality, Supermodular functions and the complexity of MAX CSP, Complete congruences on topologies and down-set lattices, Boolean topological distributive lattices and canonical extensions, Representing lattices using many-valued relations, Planar zero divisor graphs of partially ordered sets, Stanley depth and the lcm-lattice, Symmetric decompositions and the strong Sperner property for noncrossing partition lattices, The summed start-up costs in a unit commitment problem, Fixed points of adjoint functors enriched in a quantaloid, A constructive solution to the ranking problem in partial order optimality theory, Range-only SLAM with indistinguishable landmarks; a constraint programming approach, Topological representation of intuitionistic and distributive abstract logics, Algebraic modal correspondence: Sahlqvist and beyond, On Hopf Galois extension of separable algebras, Residuated expansions of lattice-ordered structures, Bounded distributive lattices with two subordinations, An extended inequality approach for evaluating decision making units with a single output, Three roads to complete lattices: orders, compatibility, polarity, Minimal solutions of generalized fuzzy relational equations: clarifications and corrections towards a more flexible setting, An optimal complexity algorithm for minimum-time velocity planning, Thick set inversion, Right adjoint algebras versus operator left residuated posets, Restricted bi-pattern mining, A novel framework for lim-inf convergence in posets, On quotients of formal power series, Value iteration for simple stochastic games: stopping criterion and learning algorithm, Symmetric extended MS-algebras with the strong endomorphism kernel property, Algorithms for non-linear and stochastic resource constrained shortest path, Graph-based algorithms for the efficient solution of optimization problems involving monotone functions, A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts, Galois connection between Lipschitz and linear operator ideals and minimal Lipschitz operator ideals, One step is enough, The regular digraph associated to a poset, Unitless Frobenius quantales, A general approach to extension-based semantics in abstract argumentation, On the membership problem for finite automata over symmetric groups, A theoretical look at \textsc{Electre Tri}-nB and related sorting models, On the isomorphism problem of concept algebras, Flat extensions of groups and limit varieties of additively idempotent semirings, Unary-determined distributive \(\ell \)-magmas and bunched implication algebras, Isolated sublattices and their application to counting closure operators, Computing distributed knowledge as the greatest lower bound of knowledge, Finite dimensional scattered posets, Computing minimal state space recursive equilibrium in OLG models with stochastic production, Topological representation of double Boolean algebras, The categorical equivalence between domains and interpolative generalized closure spaces, Intuitionistic propositional logic with Galois negations, Noise as a Boolean algebra of \(\sigma\)-fields, Comparative concepts, Modal MTL-algebras, Counting proper mergings of chains and antichains, A construction of the \(B\)-completion of a \(T_0\)-quasi-metric space, Rough sets determined by tolerances, Duality for double quasioperator algebras via their canonical extensions, Comparability graphs of lattices, On the join dependency relation in multinomial lattices, Labeled posets are universal, A qualitative approach to Markovian equilibrium in infinite horizon economies with capital, Modeling and manipulating the structure of hierarchical schemas for the web, A framework for incremental generation of closed itemsets, Contracting optimally an interval matrix without loosing any positive semi-definite matrix is a tractable problem, Conditional independence models for seemingly unrelated regressions with incomplete data, Discrete state estimators for systems on a lattice, On ordinal sums of triangular norms on bounded lattices, Cut sets as recognizable tree languages, Computing coproducts of finitely presented Gödel algebras, Unification and projectivity in De Morgan and Kleene algebras., Canonical extensions and profinite completions of semilattices and lattices, Lattice classification by cut-through coding., The Deeper Roles of Mathematics in Physical Laws, Lattice structures for attractors. I, A characterization of the concept of independence in knowledge structures, Normal hyperlattices and pure ideals of hyperlattices, An Adaptive Sparse Grid Algorithm for Elliptic PDEs with Lognormal Diffusion Coefficient, Policy iteration in finite templates domain, Embedding ordered sets into distributive lattices, A note on Hilbert algebras and their related generalized Esakia spaces, Decision-making with Sugeno integrals. Bridging the gap between multicriteria evaluation and decision under uncertainty, Algebras of incidence structures: representations of regular double p-algebras, Categories: How I Learned to Stop Worrying and Love Two Sorts, Dyck Algebras, Interval Temporal Logic, and Posets of Intervals, Ternary Equational Languages, A modular formal semantics for Ptolemy, Semantics for Possibilistic Disjunctive Programs, The lattice-theoretic structure of sets of bivariate copulas and quasi-copulas, A LATTICE-BASED APPROACH TO THE PROBLEM OF RECRUITMENT IN MULTIAGENT SYSTEMS, Loewy decomposition of linear differential equations, Linear Equations for the Number of Intervals Which are Isomorphic with Boolean Lattices and the Dehn–Sommerville Equations, An Algorithmic Approach to Lattices and Order in Dynamics, Probabilistic operational semantics for the lambda calculus, Changing a Semantics: Opportunism or Courage?, $\aleph_1$ and the modal $\mu$-calculus, Duality and Universal Models for the Meet-Implication Fragment of IPC, Discovering boundary algebra: A simple notation for Boolean algebra and the truth functors, Probabilistic Epistemic Updates on Algebras, ‘Transitivity’ of Consequence Relations, Constrained Connectivity and Transition Regions, Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings, Relational Representation Theorem for Powerset Quantales, Mild Continuity Properties of Relations and Relators in Relator Spaces, COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC, FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE, Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs, Unnamed Item, Searching for quicksand ideals in partially ordered sets, Observer-based control of block-triangular discrete time hybrid automata on a partial order, Unnamed Item, Argumentation for Practical Reasoning: An Axiomatic Approach, Distributive and completely distributive lattice extensions of ordered sets, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, Isbell conjugacy and the reflexive completion, Recovering a compact Hausdorff space $X$ from the compatibility ordering on $C(X)$, Equational Properties of Stratified Least Fixed Points (Extended Abstract), Fuzzy concept lattice reduction using Shannon entropy and Huffman coding, Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems, Unnamed Item, Automated Reasoning for Hybrid Systems — Two Case Studies —, Unnamed Item, Pseudo-uninorms and Atanassov’s intuitionistic pseudo-uninorms, Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus, The Strong Endomorphism Kernel Property in Ockham Algebras, Unnamed Item, ON THE COMPLEMENT OF THE ZERO-DIVISOR GRAPH OF A PARTIALLY ORDERED SET, On conditions for semirings to induce compact information algebras, Activating Generalized Fuzzy Implications from Galois Connections, Unnamed Item, Some Algebraic Properties of Machine Poset of Infinite Words, Unnamed Item, Unnamed Item, Nested set complexes for posets and the Bier construction, Unnamed Item, Fuzzy cut-stable map and its extension property1, Algebraic structures related to nilpotent minimum algebras and rough sets1, Observed Communication Semantics for Classical Processes, Transformations and Preservation of Self-assembly Dynamics through Homotheties, The classification of multipartite quantum correlation, Domain Equations Based on Sets with Families of Pre-orders, On Rough Concept Lattices, Birelator Spaces Are Natural Generalizations of Not Only Bitopological Spaces, But Also Ideal Topological Spaces, Well-Quasi Orders and Hierarchy Theory, On the Weak Order of Coxeter Groups, Injective envelopes of transition systems and Ferrers languages, The Lattice of U-Sequences of an Abelian p-Group, Algebraic Semantics for Hybrid Logics, A classification of torsion classes in abelian categories, Intervals of the Muchnik lattice, Algebraic Methods for Granular Rough Sets, Irredundant Coverings, Tolerances, and Related Algebras, Categories of diagrams with irreversible moves, Antichain Based Semantics for Rough Sets, Merging Ordered Sets, CARNAP ON EXTREMAL AXIOMS, “COMPLETENESS OF THE MODELS,” AND CATEGORICITY, Probabilistic Interpretations of Predicates, Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless, About Truth and Types, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, Fuzzy closure systems onL-ordered sets, Pseudo-polynomial Functions over Finite Distributive Lattices, Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty, Structures of Oppositions in Public Announcement Logic, Unnamed Item, The algebra of multirelations, Monotone Relations, Fixed Points and Recursive Definitions, Theory of Generalized Risk Attitudes, A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Semigroup quasivarieties: Two lattices and a reopened problem, Essential and density topologies ons2-continuous posets, Recursive axiomatizations for representable posets, Algebraic properties of if-then-else and commutative three-valued tests, A NEW WAY TO EXTEND FUZZY IMPLICATIONS, Weak-quasi-Stone algebras, From Meaningful Orderings in the Web of Data to Multi-level Pattern Structures, On interval valued (α,β)—fuzzy hyperideals of hyperlattices, ON THE COMPATIBILITY OF A CRISP RELATION WITH A FUZZY EQUIVALENCE RELATION, Complexity Issues for Preorders on Finite Labeled Forests, Time Optimal Self-assembly for 2D and 3D Shapes: The Case of Squares and Cubes, Structure of Birkhoff center of c-semirings, Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means, The Structure of Multigranular Rough Sets, Two extensions of system F with (co)iteration and primitive (co)recursion principles, Unnamed Item, THE LOGIC OF INFORMATION IN STATE SPACES, Splittings in varieties of logic, Unnamed Item, Modulars from Nakano onwards, Unnamed Item, The category of algebraic fuzzy closure L-systems on fuzzy complete lattices, Dual Space of a Lattice as the Completion of a Pervin Space, Embeddability into Relational Lattices Is Undecidable, Tower Induction and Up-to Techniques for CCS with Fixed Points, Classical Logic with Mendler Induction, Number Conservation via Particle Flow in One-dimensional Cellular Automata, Consistent disjunctive sequent calculi and Scott domains, Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL, Expanding Belnap 2: the dual category in depth, Scalable Visual Analytics in FCA, Towards Distributivity in FCA for Phylogenetic Data, Syntactic Completeness of Proper Display Calculi, Real subset sums and posets with an involution, Unnamed Item, Erratum and addendum to ‘Recovering a compact Hausdorff space $X$ from the compatibility ordering on $C(X)$’ (Fund. Math. 242 (2018), 187–205), Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures, Locally finite complexes, modules and generalized information systems, Pre-image of functions in $C(L)$, Unnamed Item, Finding a Level Ideal of a Poset, RELEVANCE LOGICS AND RELATION ALGEBRAS, On essential elements in a lattice and Goldie analogue theorem, Normal Ω-subgroups, A Relation-Algebraic Treatment of the Dedekind Recursion Theorem, Stone Dualities from Opfibrations, Counting and Computing Join-Endomorphisms in Lattices, Broadening Label-Based Argumentation Semantics with May-Must Scales, Unique Tarski Fixed Points, m-Algebraic lattices in formal concept analysis, Unnamed Item, Unnamed Item, Benchmarking over Distributive Lattices, Some Results on Extension of Lattice-Valued XOR, XOR-Implications and E-Implications, Survey on Cauchy Functional Equation in Lattice Environments, Lower Cone Distribution Functions and Set-Valued Quantiles Form Galois Connections, Unnamed Item, Unnamed Item, Deterministic and Stochastic Wireless Network Games: Equilibrium, Dynamics, and Price of Anarchy, Computing Version Spaces in the Qualitative Approach to Multicriteria Decision Aid, Unnamed Item, Unnamed Item, Unnamed Item, Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond, A note on the complexity of S4.2, Unnamed Item, Spacetime granularity from finite-dimensionality of local observable algebras, Continuous Domains in Formal Concept Analysis*, (S,N)-Implications on Bounded Lattices, The Secret Life of Keys: On the Calculation of Mechanical Lock Systems, Relational Lattices via Duality, Spatiality of countably presentable locales (proved with the Baire category theorem), Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Deciding inclusion of set constants over infinite non-strict data structures, Unnamed Item, Unnamed Item, Contingency Structures and Concept Analysis, On the connectedness of the complement of the zero-divisor graph of a poset, A note on the zero divisor graph of a lattice, Homological algebra in characteristic one, Reduced zero-divisor graphs of posets, Internal and External Logics of Abstract Interpretations, A binary operation-based representation of a lattice, Imaginary cone and reflection subgroups of Coxeter groups, Unnamed Item, Unnamed Item, Unnamed Item, The essential element graph of a lattice, Finite-Chain Graded Modal Logic, On Fuzzy Generalizations of Concept Lattices, Unifying Reducts in Formal Concept Analysis and Rough Set Theory, Closure filters and prime fuzzy closure filters of $MS-$algebras, Unnamed Item, A representation of proper BC domains based on conjunctive sequent calculi, A topology on lattice-ordered groups, A relational semantics for the logic of bounded lattices, Unnamed Item, Approximating SP-orders through total preorders: incomparability and transitivity through permutations, Synchrony and Antisynchrony for Difference-Coupled Vector Fields on Graph Network Systems, Unnamed Item, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Bacterial phylogeny in the Cayley graph, Legendre decomposition for tensors*, On Closure Systems and Adjunctions Between Fuzzy Preordered Sets, Easkia Duality and Its Extensions, Some classifications of graphs with respect to a set adjacency relation, A representation of continuous lattices based on closure spaces, Partially ordered objects in a topos, $\beta$-fuzzy filters in MS-algebras, Thinking Ultrametrically, Thinking p-Adically, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$, Beth Definability in the Logic KR, Ockham Algebras—An Urquhart Legacy, On the line graphs of zero-divisor graphs of posets, Split exact sequences of finite MTL-chains, LOGICS FOR PROPOSITIONAL CONTINGENTISM, A computational procedure for variable selection preserving different initial conditions, Rough set theory applied to finite dimensional vector spaces, Face posets of tropical polyhedra and monomial ideals, An algebraic glimpse at bunched implications and separation logic, Recognizability in residuated lattices, Completions of posemigroups by cuts and beyond, (F,G)-Derivations on a Lattice, Linear Logic Properly Displayed, On saturated prefilter monads, Identification of neighborhood clusters on data balanced by a poset-based approach, Interval convexity of scale effect algebras, Approximation and decomposition in lattices of clutters, A class of join-completions of partially ordered semigroups, Lattice characterization of some classes of groups by series of subgroups, Extremality, left-modularity and semidistributivity, Topology of closure systems in algebraic lattices, Contra Continuity Properties of Relations in Relator Spaces, 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, A new type of polytomous surmise system, Optimization of partially monotonic functions subject to bipolar fuzzy relation equations, On \(P\)-sober spaces, Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts, On regularity and intra regularity of the components of a Morita context of monoids, Lattice point of view for argumentation framework, Lattices and Their Consistent Quantification, An Introduction to Influence Theory: Kinematics and Dynamics, Static and dynamic orderings on Dungean argumentation frameworks -- an overview, Distributivity of a segmentation lattice, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Mathematical self-determination theory. I: Real representation, Conditioned Wiener processes as nonlinearities: a rigorous probabilistic analysis of dynamics, Ordered Hom-groups based on Hom-compatibility, Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side, Multi-adjoint lattice logic and truth-stressing hedges, Lattice-valued overlap and quasi-overlap functions, Algebraic structure and characterization of adjoint triples, Wreath product in automorphism groups of graphs, An axiomatic approach to measure the `leave no one behind' principle, Ordinal sums: from triangular norms to bi- and multivariate copulas, Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets, Lattice automorphism and zero‐divisor graphs of lattices, Two traditions in abstract valuational model theory, PRIME TENSOR IDEALS IN ABELIAN CATEGORIES OF REPRESENTATIONS OF QUIVERS OF TYPE <i>A </i>, Explainability of probabilistic bisimilarity distances for labelled Markov chains, Maximal closed set and half-space separations in finite closure systems, Convolution on distribution spaces characterized by regularization, On the logic of distributive nearlattices, Topological duality for orthomodular lattices, A zoo of dualities, Lexicon-based sentiment analysis in texts using formal concept analysis, Involutive symmetric Gödel spaces, their algebraic duals and logic, Subordinations on bounded distributive lattices, A set-theoretic representation of algebraic L-domains, A characterisation of atomicity, Kripke contexts, double Boolean algebras with operators and corresponding modal systems, Solution to two problems on ideally conjunctive join-semilattices, Mining for Unknown Unknowns, Isabelle formalisation of original representation theorems, Topological duality and algebraic completions, THE INFORMATION BOTTLENECK METHOD FOR OPTIMAL PREDICTION OF MULTILEVEL AGENT-BASED SYSTEMS, Arboreal categories and equi-resource homomorphism preservation theorems, Labelled calculi for lattice-based modal logics, Labelled calculi for the logics of rough concepts, Relational semantics for normal topological quasi-Boolean logic, Arboreal Categories: An Axiomatic Theory of Resources, Does the endomorphism poset $P^P$ determine whether a finite poset $P$ is connected? An issue Duffus raised in 1978, Priestley-style duality for DN-algebras, The quantale of order-preserving maps of a completely distributive lattice, On the notion of observers, Partially ordered set of zero-dimensional one-point extensions of a topological space, Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras, The Kantorovich Problem and Wasserstein Metric in the Theory of Belief Functions, Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements, Characterizations of near-Heyting algebras, Coproducts in categories of \(q\)-matroids, Causal structure of spacetime and Scott topology, Positive modal logic beyond distributivity, The stone representations for generalized continuous posets, An in-reachability based classification of invariant synchrony patterns in weighted coupled cell networks, Choice-free topological duality for implicative lattices and Heyting algebras, Eilenberg's variety theorem without Boolean operations, Belief change, rationality, and strategic reasoning in sequential games, Characterization, verification and computation of robust controlled invariants for monotone dynamical systems, An Order-Theoretic Perspective on Modes and Maximum A Posteriori Estimation in Bayesian Inverse Problems, Tomographic inverse problems: mathematical challenges and novel applications. Abstracts from the workshop held April 30 -- May 5, 2023, Factor principal congruences and Boolean products in filtral varieties, Some further results on pointfree convex geometry, Unnamed Item, Unnamed Item, Sufficient dimension reduction for populations with structured heterogeneity, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Control-flow analysis of function calls and returns by abstract interpretation, Line graphs associated to annihilating-ideal graph attached to lattices of genus one, Generalized satisfiability problems via operator assignments, Stone duality, topological algebra, and recognition., Conservative median algebras and semilattices., Partial order embeddings with convex range, The existence of universally agreed fairest semi-matchings in any given bipartite graph, The facial weak order on hyperplane arrangements, Flip distances between graph orientations, Dualization in lattices given by implicational bases, L-fuzzy ideal degrees in effect algebras
