Multiset theory
From MaRDI portal
Publication:1117926
DOI10.1305/ndjfl/1093634995zbMath0668.03027DBLPjournals/ndjfl/Blizard89OpenAlexW4206007682WikidataQ56214715 ScholiaQ56214715MaRDI QIDQ1117926
Publication date: 1989
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093634995
Related Items (only showing first 100 items - show all)
\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Higher-level constructs for families and multisets ⋮ Mixed multiset topological space and separation axioms ⋮ Unnamed Item ⋮ Schrödinger logics ⋮ Peptide Computers ⋮ On redundancy, separation and connectedness in multiset topological spaces ⋮ Selecting preferred solutions in the minimax approach to dynamic programming problems under flexible constraints ⋮ On fuzzy multiset automata ⋮ IF-Bags and Knowledge Representation in Soft Decision Analysis ⋮ Algebraic dynamic programming for multiple context-free grammars ⋮ Multivariate orthogonal polynomials and integrable systems ⋮ Redundancy of mset topologies ⋮ Unnamed Item ⋮ Consistent reduction in discrete-event systems ⋮ Multiset proximity spaces ⋮ NOTION OF FUZZY IC-BAGS ⋮ Multi-fuzzy soft groups ⋮ Soft multi-rough set topology with applications to multi-criteria decision-making problems ⋮ On similarity ⋮ Limits of eventual families of sets with application to algorithms for the common fixed point problem ⋮ Multiset concepts in two-universe approximation spaces ⋮ Are locally finite MV-algebras a variety? ⋮ Method ``MASKA for group expert classification of multi-attribute objects ⋮ Case-based belief formation under ambiguity ⋮ Comment on ``Rough multisets and information multisystems ⋮ Topological approximations of multisets ⋮ TRUTH WITHOUT CONTRA(DI)CTION ⋮ Verified stochastic methods ⋮ THE AKIYAMA MEAN-MEDIAN MAP HAS UNBOUNDED TRANSIT TIME AND DISCONTINUOUS LIMIT ⋮ On some generalization of rough sets ⋮ Equivalence of partition functions leads to classification of entropies and means ⋮ A stronger form of Yamamoto's theorem on singular values ⋮ Kernel functions for case-based planning ⋮ Categorical properties of compact Hausdorff MV-algebras ⋮ Bidirectional comparison of multi-attribute qualitative objects ⋮ Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics ⋮ Monotonicity-based ranking on the basis of multiple partially specified reciprocal relations ⋮ On type-2 m-topological spaces ⋮ A quantitative study of pure parallel processes ⋮ Fuzzy multiset finite automata and their languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Multiset topologies induced by multiset relations ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Sum-based weighted belief base merging: from commensurable to incommensurable framework ⋮ Abelian mereology ⋮ Type 2 fuzzy multisets and its applications in decision making problems ⋮ Generalized rough multiset via multiset ideals ⋮ Logics of relative identity ⋮ On orthogonal polynomials with respect to a class of differential operators ⋮ Lifted Bayesian Filtering in Multiset Rewriting Systems ⋮ Generalised Closed Sets in Multiset Topological Space ⋮ Multiset ideal topological spaces and local functions ⋮ Extending Stone duality to multisets and locally finite MV-algebras. ⋮ REDUNDANCY OF MULTISET TOPOLOGICAL SPACES ⋮ Modeling DNA & RNA mutation using mset and topology ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Mathematics of multisets: a unified approach ⋮ Weak dual pairs and jetlet methods for ideal incompressible fluid models in \(n \geq 2\) dimensions ⋮ Rough Multiset and Its Multiset Topology ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Risk appetite dual hesitant fuzzy three-way decisions with TODIM ⋮ Three-way decisions with decision-theoretic rough sets in multiset-valued information tables ⋮ Numbers as moments of multisets: a new-old formulation of arithmetic ⋮ The logic of finite order ⋮ A framework for reasoning under uncertainty based on non-deterministic distance semantics ⋮ Dedekind multisets and function shells ⋮ Simplified forms of computerized reasoning with distance semantics ⋮ The study of the interval-valued contexts ⋮ Soft clustering-based scenario bundling for a progressive hedging heuristic in stochastic service network design ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Unnamed Item ⋮ Certain information granule system as a result of sets approximation by fuzzy context ⋮ Generalized multiset theory ⋮ Multisets in type theory ⋮ Relations and functions in multiset context ⋮ A single-sorted theory of multisets ⋮ Finite-Chain Graded Modal Logic ⋮ Multiset filters ⋮ Multiset mixed topological space ⋮ Topological Approaches to Generalized Rough Multisets ⋮ Multisets, heaps, bags, families: What is a multiset? ⋮ A metric for finite power multisets of positive real numbers based on minimal matching ⋮ Intuitionistic fuzzy multi-polygroups ⋮ Rough multisets and information multisystems ⋮ Real-valued multisets and fuzzy sets ⋮ Cumulants and the moment algebra: Tools for analyzing weak measurements ⋮ Quantifying sequential subsumption ⋮ Vague multigraphs ⋮ Vagueness and Roughness ⋮ Fuzzy shadows ⋮ Random Ordering of Semiprimes ⋮ Algebraic properties of intuitionistic \(L\)-fuzzy multiset finite automata ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema ⋮ Multiset neurons ⋮ Revisiting Semilattice Semantics ⋮ Recovering hierarchies in terms of content similarity
This page was built for publication: Multiset theory