Fuzzy equational logic
From MaRDI portal
Publication:5920519
DOI10.1007/b105121zbMath1083.03030OpenAlexW4250303340MaRDI QIDQ5920519
Vilem Vychodil, Radim Bělohlávek
Publication date: 17 August 2005
Published in: Studies in Fuzziness and Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b105121
Fuzzy logic; logic of vagueness (03B52) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Equational logic, Mal'tsev conditions (08B05) Fuzzy algebraic structures (08A72)
Related Items
Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets, Representation of lattices by fuzzy weak congruence relations, Pseudovarieties of algebras with fuzzy equalities., Weak bisimulations for fuzzy automata, Brzozowski type determinization for fuzzy automata, Quantale-valued sup-algebras, Triangle algebras: A formal logic approach to interval-valued residuated lattices, Fuzzy identities with application to fuzzy semigroups., Fuzzy approximations of fuzzy relational structures, Truth-depressing hedges and BL-logic, Fuzzy relation equations and inequalities with two unknowns and their applications, Vagueness and Formal Fuzzy Logic: Some Criticisms, Relationships between generalized Bosbach states and \(L\)-filters on residuated lattices, Normal Ω-subgroups, On the existence of free models in fuzzy universal Horn classes, Granular variable precision fuzzy rough sets with general fuzzy relations, Rewriting systems over similarity and generalized pseudometric spaces and their properties, \(E\)-fuzzy groups, Extension principles for closure operators on fuzzy sets and cuts, Unnamed Item, Fuzzy inequational logic, Approximate positional analysis of fuzzy social networks, Characterization and computation of approximate bisimulations for fuzzy automata, Omega-rings, Isomorphisms and functors of fuzzy sets and cut systems, Completions of cut systems in \(Q\)-sets, On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations, Cut systems in sets with similarity relations, Computation of solutions to certain nonlinear systems of fuzzy relation inequations, Ranks of fuzzy matrices. Applications in state reduction of fuzzy automata, Bisimulations for fuzzy automata, On the solvability of weakly linear systems of fuzzy relation equations, Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders, Approximate State Reduction of Fuzzy Finite Automata, Triadic concept lattices in the framework of aggregation structures, Further improvements of determinization methods for fuzzy finite automata, Variety theorem for algebras with fuzzy orders, Algebraic study to generalized Bosbach states on residuated lattices, Computation of the greatest simulations and bisimulations between fuzzy automata, Multi-adjoint concept lattices with heterogeneous conjunctors and hedges., Construction of fuzzy automata from fuzzy regular expressions, Weakly linear systems of fuzzy relation inequalities: the heterogeneous case, Myhill-Nerode type theory for fuzzy languages and automata, \(\Omega\)-lattices, Pavelka-style fuzzy logic in retrospect and prospect, Triangular norm based predicate fuzzy logics, Fuzzy relation equations and reduction of fuzzy automata, Confluence and termination of fuzzy relations, Derivation digraphs for dependencies in ordinal and similarity-based data, Reduction of fuzzy automata by means of fuzzy quasi-orders, \( \Omega \)-groups in the language of \(\Omega \)-groupoids, Graded LinClosure and Its Role in Relational Data Analysis, Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences, Structures of compactly generated lattices described by cut sets of \(L\)-valued sets, Fuzzy homomorphisms of algebras, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, Generalised graded interpolation, EQ-algebras from the point of view of generalized algebras with fuzzy equalities, An answer to Demirci's open question, a clarification of his result, and a correction of his interpretation of the result
