Local and relativized local finiteness in t-norm based structures
S Gottwald - Information Sciences, 2013 - Elsevier
S Gottwald
Information Sciences, 2013•ElsevierThis 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, ie 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 …
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, ie 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 …
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.
Elsevier
Showing the best result for this search. See all results