Variety theorem for algebras with fuzzy orders

DOI10.1016/J.FSS.2015.11.017zbMATH Open1386.06002arXiv1406.7702OpenAlexW2189184114MaRDI QIDQ679841FDOQ679841

Authors: Vilem Vychodil 

Publication date: 22 January 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Abstract: We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are compatible with particular binary fuzzy relations called fuzzy orders. Fuzzy orders are defined on universe sets of algebras using complete residuated lattices as structures of degrees. In this setting, we show that classes of models of fuzzy sets of inequalities are closed under suitably defined formations of subalgebras, homomorphic images, and direct products. Conversely, we prove that classes having these closure properties are definable by fuzzy sets of inequalities.

Full work available at URL: https://arxiv.org/abs/1406.7702

Recommendations

• Birkhoff variety theorem and fuzzy logic
• scientific article; zbMATH DE number 2209493
• Pseudovarieties of algebras with fuzzy equalities.
• The variety generated by order algebras.
• scientific article; zbMATH DE number 6542094

zbMATH Keywords

general algebracomplete residuated latticefuzzy ordervariety theorem

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Fuzzy lattices (soft algebras) and related topics (06D72) Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20)

Cites Work

• Triangular norms
• On Fuzzy Logic I Many‐valued rules of inference
• Varieties of ordered algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• The logic of inexact concepts
• Fuzzy groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
• Birkhoff variety theorem and fuzzy logic
• Triangular norm based predicate fuzzy logics
• Quantale-valued preorders: globalization and cocompleteness.
• Construction of finite \(\mathbf L\)-groups.
• Formal concept analysis and linguistic hedges
• Handbook of mathematical fuzzy logic. Volume 1
• Mathematical Fuzzy Logics
• On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Title not available (Why is that?)
• A non-commutative and non-idempotent theory of quantale sets
• Direct limits and reduced products of algebras with fuzzy equalities
• Fuzzy equational logic
• Fuzzy equational logic
• Fuzzy logic. Mathematical tools for approximate reasoning
• Algebras with fuzzy equalities
• Fuzzy Horn logic. II. Implicationally defined classes.
• A compendium of fuzzy weak orders: representations and constructions
• Pointed semi-quantales and lattice-valued topological spaces
• A logical approach to fuzzy truth hedges
• Completely lattice \(L\)-ordered sets with and without \(L\)-equality
• Computing minimal sets of descriptive conditions for binary data
• Stratified categorical fixed-basis fuzzy topological spaces and their duality
• Fuzzy inequational logic

Cited In (3)

• Fuzzy inequational logic
• Title not available (Why is that?)
• The variety generated by order algebras.

This page was built for publication: Variety theorem for algebras with fuzzy orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679841)