Omitting Types Theorem for Fuzzy Logics
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00491823" target="_blank" >RIV/67985807:_____/19:00491823 - isvavai.cz</a>
Result on the web
<a href="http://hdl.handle.net/11104/0285439" target="_blank" >http://hdl.handle.net/11104/0285439</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TFUZZ.2018.2856084" target="_blank" >10.1109/TFUZZ.2018.2856084</a>
Alternative languages
Result language
angličtina
Original language name
Omitting Types Theorem for Fuzzy Logics
Original language description
In this paper we generalize the omitting types theorem, an important result of classical model theory, for a wide class of fuzzy logics, containing the prominent logics of left-continuous t-norms and uninorms.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA17-04630S" target="_blank" >GA17-04630S: Predicate graded logics and their applications to computer science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IEEE Transactions on Fuzzy Systems
ISSN
1063-6706
e-ISSN
—
Volume of the periodical
27
Issue of the periodical within the volume
2
Country of publishing house
US - UNITED STATES
Number of pages
5
Pages from-to
273-277
UT code for WoS article
000457620200006
EID of the result in the Scopus database
2-s2.0-85049945178