Publication:4692885

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

Related Items

General frames for relevant modal logics, Tilings with trichromatic colored-edges triangles, Domino tilings and related models: Space of configurations of domains with holes, The largest cartesian closed category of stable domains, Semi-metrics, closure spaces and digital topology, From CML to its process algebra, Extremal solutions of inequations over lattices with applications to supervisory control, Embedding a demonic semilattice in a relation algebra, Multi-valued logic programming semantics An algebraic approach, A logical view of composition, Coarsening a knowledge structure, A note on a natural equivalence relation on fuzzy power set, Simulations in coalgebra, A coalgebraic view on positive modal logic, A Sahlqvist theorem for distributive modal logic, Least reflexive points of relations, Regular algebra applied to language problems, Bimonotone linear inequalities and sublattices of \(\mathbb R^n\), Belief models: An order-theoretic investigation, Insertion of lattice-valued and hedgehog-valued functions, Interaction transform for bi-set functions over a finite set, Entropy of capacities on lattices and set systems, Decision effects, the Hahn-Jordan decomposition for states, and their connection to Ludwig's axiomatic approach to quantum mechanics, Poset extensions, convex sets, and semilattice presentations, Data structures for symbolic multi-valued model-checking, A structure theorem for posets admitting a ``strong chain partition: a generalization of a conjecture of Daykin and Daykin (with connections to probability correlation inequalities), Non-standard cut classification of fuzzy sets, On the random generation and counting of weak order extensions of a poset with given class cardinalities, A note on the structure of spaces of domino tilings, Decision making over necessity measures through the Choquet integral criterion, The core of bicapacities and bipolar games, Just in time control of constrained \((max,+)\)-linear systems, On a quasi-ordering on Boolean functions, Applying relation algebra and RelView to solve problems on orders and lattices, Parametric \(\lambda \)-theories, Algebraic reasoning for probabilistic action systems and while-loops, The poset structures admitting the extended binary Golay code to be a perfect code, Forbidden retracts for finite ordered sets of width at most four, CPO semantics of timed interactive actor networks, Dual unbounded nondeterminacy, recursion, and fixpoints, Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation, Ideals in ordered sets, a unifying approach, The quotient of an abstract interpretation, Duality for modal \(\mu\)-logics, On the structure of certain po-semigroups, Semantic networks, Completing sort hierarchies, Concept lattices and conceptual knowledge systems, The lattice of distributive closure operators over an algebra, Normal linear regression models with recursive graphical Markov structure, Representation of computations in concurrent automata by dependence orders, Matroids on partially ordered sets, Operational and denotational semantics for the box algebra, Axiomatisation of functional dependencies in incomplete relations, A useful fixpoint theorem, Diagram rules for the generation of Schubert polynomials, A behavioural theory of first-order CML, Confidence relations and ordinal information, Properly injective spaces and function spaces, Computation on metric spaces via domain theory, Uniform approximation of topological spaces, Prime spectra of lattice-ordered abelian groups, On a representation of posets by fuzzy sets, Construction of the \(L\)-fuzzy concept lattice, Representation of the Choquet integral with the \(\sigma\)-additive Möbius transform, On maximal sublattices of finite lattices, Posets in which every cutset meets every fibre, Every cutset meets every fibre in certain poset products, Lattice conditional independence models for contingency tables with non-monotone missing data patterns, A Daniell-Kolmogorov theorem for supremum preserving upper probabilities, On a generalized product for domains, Information categories, Spectral sets, Order theoretic variants of the fundamental theorem of compact semigroups, Braids and their monotone clones, An incremental concept formation approach for learning from databases, The nested universal relation data model, Quasivarities of distributive lattices with a quantifier, Deciding Frattini is NP-complete, Series-parallel posets and relative Ockham lattices, Autoepistemic logic programming, Sandpiles and order structure of integer partitions, Perfect sequences of chain-complete posets, Weak and strong fuzzy interval orders, Reducible classes of finite lattices, The automorphism group of a function lattice: A problem of Jónsson and McKenzie, Tree structure for distributive lattices and its applications, The structure of perceptual categories, Null inclusion dependencies in relational databases, Finite distributive lattices and doubly irreducible elements, The common order-theoretic structure of version spaces and ATMSs, A calculational approach to mathematical induction, Classes extraction from procedural programs, A characterization of moral transitive acyclic directed graph Markov models as labeled trees., Classes of lattices induced by chip firing (and sandpile) dynamics., A discrete fixed point theorem and its applications., The presence of lattice theory in discrete problems of mathematical social sciences. Why., System theory for system identification., Fixed set theory for closed correspondences with applications to self-similarity and games., A formal framework for characterizing querying algorithms., Ockham Congruences Whose Quotient Algebras Are Boolean, Free Double Ockham Algebras, Design and comparison of lattices of topological relations for spatial representation and reasoning, Sequential Classification on Partially Ordered Sets, Bounded distributive lattices with strict implication, Optimal natural dualities. II: General theory, The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf, Polymodal Lattices and Polymodal Logic, Congruence coherent distributive doublep-algebras, SOME ORDER DUALITIES IN LOGIC, GAMES AND CHOICES, ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS, Unnamed Item, Unnamed Item, Strengthened fixed point property and products in ordered sets, Closure Systems of Equivalence Relations and Their Labeled Class Geometries, On the structure of the space of complexity partial functions, CAPACITIES AND GAMES ON LATTICES: A SURVEY OF RESULTS, Approximation Schemes in Logic and Artificial Intelligence, Context Algebras, Context Frames, and Their Discrete Duality, Priestley's duality from Stone's, The duality between the anti-exchange closure operators and the path independent choice operators on a finite set, Ample fields as a basis for possibilistic processes, Possibility measures and possibility integrals defined on a complete lattice, Quantales, finite observations and strong bisimulation, Learning logic programs with structured background knowledge, \(L\)-fuzzy lattices: An introduction, Structure of some sand piles model, The structure of a linear chip firing game and related models, Remarks on affine complete distributive lattices, Knowledge representation as domain, Integer Partitions, Tilings of2D-gons and Lattices, ZooM: a nested Galois lattices-based system for conceptual clustering, Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Incompatible empirically equivalent theories: a structural explication., An application of lattice theory to knowledge representation, On generation of finite posets by meet-irreducibles, Down and up operators associated to fuzzy relations and t-norms: A definition of fuzzy semi-ideals, A note on the correspondence among entail relations, rough set dependencies, and logical consequence, On the Yoneda completion of a quasi-metric space, Lattice valued intuitionistic fuzzy sets, Bi-capacities. I: Definition, Möbius transform and interaction, Isotone relations revisited, Prime ideals in ultraproducts of commutative rings, Quantized hyperalgebras of rank 1, The number of Moore families on \(n=6\), \(L\)-fuzzy valued inclusion measure, \(L\)-fuzzy similarity and \(L\)-fuzzy distance, Using propositional logic to compute probabilities in multistate systems, A probabilistic approach to navigation in Hypertext, Equilogical spaces, A multi-level conceptual data reduction approach based on the Lukasiewicz implication, Pro-finite MV-spaces, Posets that locally resemble distributive lattices. An extension of Stanley's theorem (with connections to buildings and diagram geometries), Coding distributive lattices with Edge Firing Games., Closures on CPOs form complete lattices, Relational interpretations of recursive types in an operational setting., Full abstraction for PCF, Concepts in fuzzy scaling theory: Order and granularity., Three dual ontologies, Completion of ordered structures by cuts of fuzzy sets: An overview, Representing ordered structures by fuzzy sets: An overview, The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey, Inductive \(^{*}\)-semirings, Cayley lattices of finite Coxeter groups are bounded, Computational aspects of the 2-dimension of partially ordered sets, Sandpile models and lattices: a comprehensive survey, Saturated models of intuitionistic theories, Syntactic codes and grammar refinement, Subdifferentiation of monotone functions from semilattices to distributive lattices, The poset on connected induced subgraphs of a graph need not be Sperner, Set theory for verification. II: Induction and recursion, On the relation between conditional independence models determined by finite distributive lattices and by directed acyclic graphs, QuasiBoolean algebras and simultaneously definite properties in quantum mechanics, An approach to literate and structured formal developments, Optimal natural dualities for varieties of Heyting algebras, Duality for algebras of relevant logics, Fixed point theorems for correspondences with values in a partially ordered set and extended supermodular games, The powerset operator on abstract interpretations, Design of abstract domains using first-order logic, Supremum preserving upper probabilities, Functions on distributive lattices with the congruence substitution property: Some problems of Grätzer from 1964, Quasi-differential posets and cover functions of distributive lattices. I: A conjecture of Stanley, Partition-induced natural dualities for varieties of pseudo-complemented distributive lattices, \(k\)-additivity and \(\mathcal C\)-decomposability of bi-capacities and its integral, (\(\vartheta, T\))-fuzzy rough approximation operators and the \(TL\)-fuzzy rough ideals on a ring, Automated theorem proving by resolution in non-classical logics, Derivative of functions over lattices as a basis for the notion of interaction between attributes, The Galois lattice as a hierarchical structure for topological relations, Relational concept discovery in structured datasets, Dedekind-MacNeille completion of \(n\)-ordered sets, Markovian equilibrium in infinite horizon economies with incomplete markets and public policy, Playing the wrong game: an experimental analysis of relational complexity and strategic misrepresentation, On the closure properties of the class of full G-models of a deductive system, An infinitary extension of Jankov's theorem, An extended Ockham algebra with endomorphism kernel property, An optimal algorithm to generate tilings, Games on lattices, multichoice games and the Shapley value: a new approach, Stationary Markovian equilibrium in overlapping generation models with stochastic nonclassical production and Markov shocks, More on configurations in Priestley spaces, and some new problems, Sublattices of product spaces: Hulls, representations and counting, Lattice-driven cellular automata implementing local semantics, Non-deterministic ideal operators: an adequate tool for formalization in data bases, Uncertain information: random variables in graded semilattices, A distributive lattice structure connecting Dyck paths, noncrossing partitions and 312-avoiding permutations, An algebra of human concept learning, Algorithmic combinatorics based on slicing posets, Principles of biological organization: local--global negotiation based on ``material cause, Efficient incremental maintenance for distributive and non-distributive aggregate functions, Lattices of lattice paths, A note on the congruences of the Nakano superlattice and some properties of the associated quotients, A concrete realization of the Hoare powerdomain, Unnamed Item, Unnamed Item, Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms, NECESSITY MEASURES AND NECESSITY INTEGRALS ON A COMPLETE LATTICE, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, THE STRUCTURE OF RESIDUATED LATTICES, POSSIBILITY THEORY I: THE MEASURE- AND INTEGRAL-THEORETIC GROUNDWORK, The Endomorphism Kernel Property in Finite Distributive Lattices and de Morgan Algebras, Unnamed Item, Data Analytic Methods for Latent Partially Ordered Classification Models, Complete Lattices and Up-To Techniques, SYMMETRY AND SYNCHRONY IN COUPLED CELL NETWORKS 2: GROUP NETWORKS, Producing Short Counterexamples Using “Crucial Events”, SYMMETRY AND SYNCHRONY IN COUPLED CELL NETWORKS 3, A POLYNOMIAL TIME ALGORITHM TO DETERMINE MAXIMAL BALANCED EQUIVALENCE RELATIONS, Two sided Sand Piles Model and unimodal sequences, ADJUSTING ANNOTATED TAXONOMIES, A Compositional Semantics for CHR with Propagation Rules, Principal congruences on distributive double p-algebras