Local and relativized local finiteness in t-norm based structures

Authors:
Siegfried Gottwald
Affiliations:
Universität Leipzig, Abteilung Logik und Wissenschaftstheorie am Institut für Philosophie, Beethovenstr. 15, 04107 Leipzig, Germany
Venue:
Information Sciences: an International Journal
Year:
2013

Citing 4
Cited 0

Weighted finite automata over strong bimonoids

Information Sciences: an International Journal
Triangular norm based predicate fuzzy logics

Fuzzy Sets and Systems
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics

Soft Computing - A Fusion of Foundations, Methodologies and Applications
A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.07

Visualization

Abstract

This paper discusses the property of local finiteness for t-norm monoids and extensions of them. The focus is (i) on t-norm bimonoids, which are of interest in the context of weighted automata, (ii) on those extensions of t-norm monoids which are reducts of t-algebras, i.e. of the basic semantic entities for the (fuzzy) logics of left-continuous and of continuous t-norms, and (iii) on extensions of t-norm monoids with their residuation based standard negations. The paper introduces also a kind of relativized local finiteness, and offers a short discussion of the finite model property for t-norm based residuated logics.