Local finiteness in t-norm bimonoids: overlap cases

DOI10.1016/J.FSS.2014.09.008MaRDI QIDQ1697352zbMATH OpenOpenAlexFDO

Authors Siegfried J. Gottwald

Publication date 19 February 2018

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

Full work available at URL https://doi.org/10.1016/j.fss.2014.09.008

zbMATH Keywords

bimonoidlocal finitenessMV-algebraordinal sumt-normŁukasiewicz t-norm

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Turing machines and related notions (03D10) Other algebras related to logic (03G25) MV-algebras (06D35) Algebraic theory of languages and automata (68Q70)

Review text

Locally finite bimonoids are relevant in automata theory. In [Inf. Sci. 228, 26--36 (2013; Zbl 1293.03034)], the author considered t-norm based bimonoids where the t-norm is representable as an ordinal sum of continuous Archimedean t-norms. This paper investigates bimonoids arising from continuous t-norms which are ordinal sums of Łukasiewicz summands. Special classes of interest to the theory of weighted automata are considered. Local finiteness is shown to be incompatible with a certain property involving the overlap of t-norm and t-conorm summands.

Recommendations

• Local and relativized local finiteness in t-norm based structures
• T-Overlap Functions: A Generalization of Bivariate Overlap Functions by t-Norms
• Weighted finite automata over strong bimonoids
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Totally ordered monoids based on triangular norms.

Cites work

• A treatise on many-valued logics
• Associative functions. Triangular norms and copulas
• scientific article; zbMATH DE number 3073207 (Why is no real title available?)
• Local and relativized local finiteness in t-norm based structures
• Triangular norms
• Weighted finite automata over strong bimonoids

Cited in

(3)

• Local and relativized local finiteness in t-norm based structures
• Editorial
• Products of lattice-valued fuzzy transition systems and induced fuzzy transformation semigroups

This page was built for publication: Local finiteness in t-norm bimonoids: overlap cases

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