Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of
t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy …
t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy …
What is mathematical fuzzy logic
P Hájek - Fuzzy sets and systems, 2006 - Elsevier
What is mathematical fuzzy logic Page 1 Fuzzy Sets and Systems 157 (2006) 597–603 www.elsevier.com/locate/fss
What is mathematical fuzzy logic Petr Hájek Institute of Computer Science, Academy of …
What is mathematical fuzzy logic Petr Hájek Institute of Computer Science, Academy of …
On weakly cancellative fuzzy logics
F Montagna, C Noguera… - Journal of Logic and …, 2006 - ieeexplore.ieee.org
Starting from a decomposition result of monoidal t-norm-based logic (MTL)-chains as ordinal
sums, we focus our attention on a particular kind of indecomposable semihoops, namely …
sums, we focus our attention on a particular kind of indecomposable semihoops, namely …
Increasingly Enumerable Submonoids of : Music Theory as a Unifying Theme
M Bras-Amorós - The American Mathematical Monthly, 2020 - Taylor & Francis
We analyze the set of increasingly enumerable additive submonoids of R, for instance, the
set of logarithms of the positive integers with respect to a given base. We call them ω …
set of logarithms of the positive integers with respect to a given base. We call them ω …
Regular left-continuous t-norms
T Vetterlein - Semigroup Forum, 2008 - Springer
Abstract A left-continuous (l.-c.) t-norm⊙ is called regular if there is an n< ω such that the
map x↦ x⊙ a has, for any a∈ 0, 1, at most n discontinuity points, and if the function mapping …
map x↦ x⊙ a has, for any a∈ 0, 1, at most n discontinuity points, and if the function mapping …
Alternative proof of standard completeness theorem for MTL
R Horčík - Soft Computing, 2007 - Springer
As it was shown in Jenei and Montagna (Studia Logica 70 (2): 183–192, 2002), Monoidal t-
norm based logic (MTL) is a logic of left-continuous t-norms. In other words, this means that …
norm based logic (MTL) is a logic of left-continuous t-norms. In other words, this means that …
On the failure of standard completeness in ΠMTL for infinite theories
R Horčík - Fuzzy Sets and Systems, 2007 - Elsevier
It is well-known that Hájek's basic fuzzy logic (BL), Łukasiewicz logic, and product logic are
not strongly standard complete. On the other hand Esteva and Godo's monoidal t-norm …
not strongly standard complete. On the other hand Esteva and Godo's monoidal t-norm …
[HTML][HTML] GIS based fuzzy logic approach for identification of groundwater artificial recharge site
MM Dashtpagerdi, H Vagharfard, A Honarbakhsh… - Open Journal of …, 2013 - scirp.org
In recent decades population increasing and development of agriculture and also being
mountainous and climatic characteristics of Sefieddasht plain and also nonuniform …
mountainous and climatic characteristics of Sefieddasht plain and also nonuniform …
[PDF][PDF] Waveletová transformace
J Fiala - Materials Structure, 1999 - dspace.tul.cz
Zamerenım této diplomové práce je vyuzitı wavelet transformace v analýze a cıslicovém
zpracovánı signálu a obrazu. Soucástı je také analýza obrazu a signálu s vyuzitım 1-D a 2-D …
zpracovánı signálu a obrazu. Soucástı je také analýza obrazu a signálu s vyuzitım 1-D a 2-D …
[PDF][PDF] Stronger version of standard completeness theorem for MTL
R Horcık - 2005 - Citeseer
As it was shown in [7], Monoidal t-norm based logic (MTL) is a logic of left-continuous t-
norms. In other words, this means that MTL enjoys the standard completeness theorem. In …
norms. In other words, this means that MTL enjoys the standard completeness theorem. In …