scientific article; zbMATH DE number 2199279

From MaRDI portal
Publication:5312888

zbMath1067.03059MaRDI QIDQ5312888

Radim Bělohlávek

Publication date: 25 August 2005


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Computing sets of graded attribute implications with witnessed non-redundancy, Algebras with compatible quantale-enriched structures, A switched fuzzy filter approach to \(H_\infty\) filtering for Takagi-Sugeno fuzzy Markov jump systems with time delay: the continuous-time case, A calculus for containment of fuzzy attributes, A formal study of linearity axioms for fuzzy orderings, Fuzzy approximations of fuzzy relational structures, Interface between logical analysis of data and formal concept analysis, The existence of vague objects, Tense operators in fuzzy logic, Similarity relations in fuzzy attribute-oriented concept lattices, Rewriting systems over similarity and generalized pseudometric spaces and their properties, The spectra of irreducible matrices over completed idempotent semifields, On the composition of fuzzy power relations, Type \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality, Maxima and minima in fuzzified linear orderings, \(E\)-fuzzy groups, Extension principles for closure operators on fuzzy sets and cuts, \(L\)-valued bornologies on powersets, Attribute-oriented fuzzy concept lattices and standard fuzzy concept lattices induce the same similarity on objects, A clone-based representation of the fuzzy tolerance or equivalence relations a strict order relation is compatible with, Compatibility of fuzzy power relations, A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence, Closure structures parameterized by systems of isotone Galois connections, A new definition of order relation for the introduction of algebraic fuzzy closure operators, On elementary equivalence in fuzzy predicate logics, On similarity in fuzzy description logics, Rational fuzzy and sequential fuzzy choice, Complete relations on fuzzy complete lattices, On fuzzification of Tarski's fixed point theorem without transitivity, Representation of fuzzy subsets by Galois connections, A note on similarity relations between fuzzy attribute-oriented concept lattices, Fuzzy topological spaces with conical neighborhood systems, Basic theorem of fuzzy concept lattices revisited, Constructing L-fuzzy concept lattices without fuzzy Galois closure operation, Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata, \(\mathcal{K}\)-formal concept analysis as linear algebra over idempotent semifields, Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders, Cut approach to invariance groups of lattice-valued functions, Quantale algebras as lattice-valued quantales, Spaces with fuzzy partitions and fuzzy transform, Formal theories and linguistic descriptions., Lattice-valued convergence spaces: weaker regularity and \(p\)-regularity, On categorical aspects of \(S\)-quantales, Regularity of fuzzy convergence spaces, The approximate correctness of systems based on \(\delta\)-bisimulation, The meet-continuity of \(L\)-semilattices, \(L\)-ordered and \( L\)-lattice ordered groups, Permutable fuzzy consequence and interior operators and their connection with fuzzy relations, The lattice structure of \(\mathbf{L}\)-contact relations, On sets of graded attribute implications with witnessed non-redundancy, Trice-valued fuzzy sets: mathematical model for three-way decisions, Lattice-valued semiuniform convergence spaces, Possibility theory and formal concept analysis: characterizing independent sub-contexts, Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences, Construction of fuzzy automata from fuzzy regular expressions, Weakly linear systems of fuzzy relation inequalities: the heterogeneous case, Join-completions of \(L\)-ordered sets, \(\Omega\)-lattices, Minimal solutions of general fuzzy relation equations on linear carriers. An algebraic characterization, A theory of vague lattices based on many-valued equivalence relations. I: General representation results, A theory of vague lattices based on many-valued equivalence relations. II: Complete lattices, \( \Omega \)-groups in the language of \(\Omega \)-groupoids, Residuation in lattice effect algebras, Conditions for the existence of maximal factorizations, Measuring the `leaving no one behind' principle in the European countries: an AROPE-based fuzzy logic approach, Monadic convergence structures revisited, The measure of fuzzy filters on BL-algebras, Fuzzy preorders: conditional extensions, extensions and their representations, A short note on fuzzy relational inference systems, Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences, A graded notion of functionality, Variable-domain fuzzy sets. I: Representation, A graded approach to cardinal theory of finite fuzzy sets. II: Fuzzy cardinality measures and their relationship to graded equipollence, Back-and-forth systems for fuzzy first-order models, Sobriety of quantale-valued cotopological spaces, On efficient factorization of standard fuzzy concept lattices and attribute-oriented fuzzy concept lattices, A new representation theorem of \(L\)-subsets, Fuzzy Galois connections on fuzzy sets, Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication, A comparative study of ideals in fuzzy orders, A comparative study of Tarski's fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities, The \(\top\)-filter monad and its applications, A categorical characterization of the least \(Q\)-quantale completion of \(Q\)-ordered semigroups, Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset, Fuzzy betweenness relations and their connection with fuzzy order relations, The \(L\)-ordered \(L\)-semihypergroups, Residuation in finite posets, Quasi-closed elements in fuzzy posets, Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences, Relational compositions in fuzzy class theory, Uniform fuzzy relations and fuzzy functions, On the relationship between limit spaces, many valued topological spaces, and many valued preorders, Typicality: a formal concept analysis account, Fuzzy complete lattices, The Dedekind-MacNeille completions for fuzzy posets, Acyclic rationality indicators of fuzzy choice functions, Algebras of fuzzy sets, \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures, Congruences on lattices and lattice-valued functions, On the distributivity for the ordinal sums of implications over t-norms and t-conorms, Block relations in formal fuzzy concept analysis, A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories, Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Quantale-valued preorders: globalization and cocompleteness., Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets, Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach, Representation of lattices by fuzzy weak congruence relations, Pseudovarieties of algebras with fuzzy equalities., Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices, Construction of finite \(\mathbf L\)-groups., Weak bisimulations for fuzzy automata, Brzozowski type determinization for fuzzy automata, Triadic fuzzy Galois connections as ordinary connections, Lattice-valued preuniform convergence spaces, Exploring users' preferences in a fuzzy setting, Solving nonlinear optimization problems with bipolar fuzzy relational equation constraints, Many valued lattices and their representations, Hybrid monotonic inclusion measure and its use in measuring similarity and distance between fuzzy sets, On the difference between traditional and deductive fuzzy logic, Relations in fuzzy class theory: initial steps, Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \), Trace operators on Wiener amalgam spaces, A new approach to fuzzy metric spaces and their similarity-based construction, Fuzzy submonoids, fuzzy preorders and quasi-metrics, Truth-depressing hedges and BL-logic, On varieties of basic algebras, An introduction to vague complemented ordered sets, Consistency indicators for fuzzy choice functions, An enriched category approach to many valued topology, Fuzzy inference based on fuzzy concept lattice, On approximate reasoning with graded rules, Generalized Bosbach states. II, A general approach to the measurement of change in fuzzy concept lattices, Thresholding of a digital image by free terms, Fuzzy inequational logic, Piecewise-linear approximation of non-linear models based on probabilistically/possibilistically interpreted intervals' numbers (INs), Isomorphisms and functors of fuzzy sets and cut systems, Completions of cut systems in \(Q\)-sets, Alexandroff \(L\)-co-topological spaces, Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Cut approach to islands in rectangular fuzzy relations, Cut systems in sets with similarity relations, A non-associative generalization of Hájek's BL-algebras, Bases of closure systems over residuated lattices, Model checking computation tree logic over finite lattices, Central points and approximation in residuated lattices, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, The order-theoretic duality and relations between partial metrics and local equalities, Handling the valuation of the predicates in a fuzzy model, Bisimulations for fuzzy automata, Granularity of attributes in formal concept analysis, Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices, On adjunctions between Lim, SL-Top, and SL-Lim, Kernel systems on \(L\)-ordered sets, Lattice-valued simulations for quantitative transition systems, Structural analysis of indistinguishability operators and related concepts, Triadic concept lattices in the framework of aggregation structures, Variable-precision-dominance-based rough set approach to interval-valued information systems, Further improvements of determinization methods for fuzzy finite automata, On equality between fuzzy context-free and fuzzy adult 0L languages, Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges, Operators on Pavelka's algebras induced by fuzzy relations, Variety theorem for algebras with fuzzy orders, General coupled semirings of residuated lattices, Nondeterministic fuzzy automata with membership values in complete residuated lattices, On minimal sets of graded attribute implications, Computation of the greatest simulations and bisimulations between fuzzy automata, Automata theory based on complete residuated lattice-valued logic: Turing machines, The use of two relations in \( L\)-fuzzy contexts, Fuzzy logic programming reduced to reasoning with attribute implications, Graded dominance and related graded properties of fuzzy connectives, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Optimal triangular decompositions of matrices with entries from residuated lattices, Completely lattice \(L\)-ordered sets with and without \(L\)-equality, An approach to fuzzy frames via fuzzy posets, Graded properties of unary and binary fuzzy connectives, On stratified \(L\)-convergence spaces: pretopological axioms and diagonal axioms, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, Implication structures, fuzzy subsets, and enriched categories, Myhill-Nerode type theory for fuzzy languages and automata, Knowledge spaces with graded knowledge states, Isotone fuzzy Galois connections with hedges, Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited, Fuzzy graph representation of a fuzzy concept lattice, Approximation of extensional fuzzy relations over a residuated lattice, Fuzzy relation equations and reduction of fuzzy automata, Confluence and termination of fuzzy relations, A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces, The lower and upper \(p\)-topological (\(p\)-regular) modifications for lattice-valued convergence spaces, Fuzzy functional dependencies: a comparative survey, An efficient method to factorize fuzzy attribute-oriented concept lattices, Stratified categorical fixed-basis fuzzy topological spaces and their duality, On stratified \(L\)-convergence spaces: Fischer's diagonal axiom, Derivation digraphs for dependencies in ordinal and similarity-based data, Reduction of fuzzy automata by means of fuzzy quasi-orders, Formal concept analysis via multi-adjoint concept lattices, Algebras with fuzzy equalities, Non-existence of non-trivial L-algebras containing field structure in the sense of Bělohlávek and an open question, An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result, Residuation in orthomodular lattices, Quantale-valued sup-algebras, Scott convergence and fuzzy Scott topology on \(L\)-posets, A note on variable threshold concept lattices: threshold-based operators are reducible to classical concept-forming operators, Fuzzy equivalence relations and their equivalence classes, Similarity of fuzzy choice functions, Fuzzy identities with application to fuzzy semigroups., The category of residuated lattice valued filter spaces, Fast factorization by similarity in formal concept analysis of data with fuzzy attributes, Grouping fuzzy sets by similarity, Fuzzy relation equations and inequalities with two unknowns and their applications, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, \(\top\)-diagonal conditions and continuous extension theorem, Bounded sobriety and k-bounded sobriety of Q-cotopological spaces, Observability in locally vague environments, Involutive right-residuated l-groupoids, APPROXIMATION OPERATORS AND FUZZY ROUGH SETS IN CO-RESIDUATED LATTICES, Graded epistemic logic with public announcement, Distance spaces, Alexandrov pretopologies and join-meet operators, Mathematical Fuzzy Logics, Distances of Fuzzy Choice Functions, Full Rationality of Fuzzy Choice Functions on Base Domain Through Indicators, Quasi-Transitive Rationality of Fuzzy Choice Functions Through Indicators, L-concept lattices with positive and negative attributes: modeling uncertainty and reduction of size, Residuated relational systems, Activating Generalized Fuzzy Implications from Galois Connections, Unnamed Item, Solving linear equations by fuzzy quasigroups techniques, Stratified \(L\)-ordered quasiuniform limit spaces, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, On the construction of fuzzy betweenness relations from metrics, Unnamed Item, L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos, Residuation in modular lattices and posets, Variable threshold concept lattices, Set approximations in fuzzy formal concept analysis, Construction of rough approximations in fuzzy setting, Unnamed Item, Fuzzy Galois connections categorically, K-FLAT PROJECTIVE FUZZY QUANTALES, Limited approximate bisimulations and the corresponding rough approximations, C-continuous fuzzy posets, Determinization of fuzzy automata with membership values in complete residuated lattices, ROBUSTNESS OF THE TRIPLE IMPLICATION INFERENCE METHOD BASED ON THE WEIGHTED LOGIC METRIC, The MacNeille completions for residuated \(S\)-posets, Strong inclusion orders between L-subsets and its applications in L-convex spaces, Transitive and acyclic rationality indicators of fuzzy choice functions on base domain, Factor analysis of ordinal data via decomposition of matrices with grades, Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets., Application of the \(L\)-fuzzy concept analysis in the morphological image and signal processing, Unnamed Item, Formal power series and regular operations on fuzzy languages, Triangular norm based predicate fuzzy logics, Generalized fuzzy rough approximation operators based on fuzzy coverings, Unnamed Item, The relationships among several types of fuzzy automata, Continuous triangular norm based fuzzy topology, L-concept analysis with positive and negative attributes, Relational division in rank-aware databases, Stratified lattice-valued neighborhood tower group, L-equivalence relations on L-fuzzy sets, L-partitions of L-fuzzy sets and their one-to-one connections, Algebraic properties of \(LA\)-languages, Reinventing known results in FCA: notes on two recently published algorithms for computation of formal concepts, Unnamed Item, Evolution of objects and concepts, ENRICHED LATTICE-VALUED TOPOLOGICAL GROUPS, ON QUASI-TRANSITIVE RATIONALITY OF FUZZY CHOICE FUNCTIONS, Missing values and dragonfly operations in fuzzy relational compositions, ON THE COMPATIBILITY OF A CRISP RELATION WITH A FUZZY EQUIVALENCE RELATION, Rough Fuzzy Concept Lattice and Its Properties, Attribute implications in \textbf{L}-concept analysis with positive and negative attributes: validity and properties of models, Structures of compactly generated lattices described by cut sets of \(L\)-valued sets, Fuzzy \(Z\)-continuous posets, Some results on the degree of symmetry of fuzzy relations, Left- and right-compatibility of order relations and fuzzy tolerance relations, Factorization of matrices with grades via essential entries, Fuzzy counterparts of hull operators and interval operators in the framework of \(L\)-convex spaces, A reduction theorem to compute fixpoints of fuzzy closure operators, On injective constructions of \(S\)-semigroups, Completeness in probabilistic quasi-uniform spaces, Lattice-valued convergence associated with CNS spaces, Canonization of max-min fuzzy automata, Degree of dominance and congruence axioms for fuzzy choice functions, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, On the Induction of New Fuzzy Relations, New Fuzzy Operators and Their Aggregation, Degrees of separation properties in stratified L-generalized convergence spaces using residual implication, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances, Fuzzy Concept Lattices with Incomplete Knowledge, Algorithms for Computation of Concept Trilattice of Triadic Fuzzy Context, Traces and property indicators of fuzzy relations, \(p\)-topologicalness and \(p\)-regularity for lattice-valued convergence spaces, Two Cartesian closed subcategories of fuzzy domains, Fuzzy correspondence inequations and equations, Monoidal functional dependencies, Robustness analysis of full implication inference method, Ordinally equivalent data: a measurement-theoretic look at formal concept analysis of fuzzy attributes, On robustness of the full implication triple I inference method with respect to finer measurements, Simulation for lattice-valued doubly labeled transition systems, Rough approximation operators based on quantale-valued fuzzy generalized neighborhood systems, Fuzzy connections on adjoint triples, On saturated prefilter monads, Unnamed Item, Fuzzy closure operators and their applications, Normal Ω-subgroups, Membership Deformation of Commutativity and Obscure n-ary Algebras, Unnamed Item, Connecting concept lattices with bonds induced by external information, Unnamed Item, Monoidal closedness of the category of stratified \(L\)-semiuniform convergence spaces, Extensionality and \(\mathcal{E}\)-connectedness in the category of \(\top\)-convergence spaces, lfl: an R package for linguistic fuzzy logic, Fuzzy quantifiers defined over fuzzy domains, Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices, Many valued topologies on L-sets, A categorical isomorphism between injective balanced \(L\)-\(S_0\)-convex spaces and fuzzy frames, Approximate positional analysis of fuzzy social networks, Systematic categorization and evaluation of CbO-based algorithms in FCA, On the degree of transitivity of a fuzzy relation, A category of complete residuated lattice-value neighborhood groups, Fuzzy rough set models over two universes using textures, Characterization and computation of approximate bisimulations for fuzzy automata, On fuzzy monotone convergence \(\mathcal{Q}\)-cotopological spaces, A logical characterization of multi-adjoint algebras, Extensions of posets with an antitone involution to residuated structures, Algebraic representation of frame-valued continuous lattices via the open filter monad, An axiomatic approach to measure the `leave no one behind' principle, Heterogeneous formal context and its decomposition by heterogeneous fuzzy subsets, Omega-rings, Resolution of fuzzy relation equations with increasing operations over complete lattices, Quantum B‐modules, Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures, Fuzzy simulations and bisimulations between fuzzy automata, Computation of solutions to certain nonlinear systems of fuzzy relation inequations, On residual implications derived from 2-uninorms, Formal concept analysis approach to understand digital evidence relationships, Τ-quasi-Cauchy spaces - a non-symmetric theory of completeness and completion, On the commutative diagrams among Galois connections involved in closure structures, Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems, Generalized morphological components based on interval descriptors and \(n\)-ary aggregation functions, Selection of appropriate bonds between \(\mathcal{L}\)-fuzzy formal contexts for recommendation tasks, On the solvability of weakly linear systems of fuzzy relation equations, Approximate State Reduction of Fuzzy Finite Automata, Knowledge Extraction from L-Fuzzy Hypercontexts, Towards Galois Connections over Positive Semifields, Graded Dominance and Cantor-Bernstein Equipollence of Fuzzy Sets, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Compositions of Fuzzy Implications, The properties of residuated connections and Alexandrov topologies, FUZZY JOIN AND MEET PRESERVING MAPS ON ALEXANDROV L-PRETOPOLOGIES, Unnamed Item, Unnamed Item, Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data, Graded LinClosure and Its Role in Relational Data Analysis, Automated prover for attribute dependencies in data with grades, Editorial, On the n-ary Generalization of Dual Bonds, Generalized Boolean Algebras and Applications, THE PROPERTIES OF JOIN AND MEET PRESERVING MAPS, JOIN-MEET APPROXIMATION OPERATORS INDUCED BY ALEXANDROV FUZZY TOPOLOGIES, Continuous fuzzy Horn logic, Antitone L-bonds, Minimal Solutions of Fuzzy Relation Equations with General Operators on the Unit Interval, Fuzzy Relational Compositions Based on Generalized Quantifiers, Unnamed Item, Fuzzy Galois connections on fuzzy posets, The Linear Algebra in Formal Concept Analysis over Idempotent Semifields, Relations between L-fuzzy topogenous orders and L-fuzzy pre-uniformities, $L$-fuzzy bi-closure systems and $L$-fuzzy bi-closure operators, Monoidal closedness of the category of $\top$-semiuniform convergence spaces, The Relationship Among Fuzzy Languages, Upper Sets and Fuzzy Ordered Monoids, On Bijective Correspondence between Fuzzy Reflexive Approximation Spaces and Fuzzy Transformation Systems, Convex structures via convex $L$-subgroups of an $L$-ordered group, Unnamed Item