Variety theorem for algebras with fuzzy orders

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

Authors Vilem Vychodil 

Publication date 22 January 2018

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

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

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)

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.

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

Cites Work

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

Cited In (3)

• Fuzzy inequational logic
• Title not available (Why is no real title available?)
• 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)