A general omitting types theorem in mathematical fuzzy logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F21%3A00537232" target="_blank" >RIV/67985556:_____/21:00537232 - isvavai.cz</a>

Výsledek na webu

<a href="https://ieeexplore.ieee.org/document/9003263" target="_blank" >https://ieeexplore.ieee.org/document/9003263</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/TFUZZ.2020.2975146" target="_blank" >10.1109/TFUZZ.2020.2975146</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A general omitting types theorem in mathematical fuzzy logic

Popis výsledku v původním jazyce

This paper is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed properties, that is, an omitting types theorem. We generalize the work done by Cintula and Diaconescu (Omitting Types Theorem for Fuzzy Logics, IEEE Transactions on Fuzzy Systems 27(2):273-277, 2019), who solved the problem for standard one-sided types. Instead, we introduce types for fuzzy structures as pairs of sets of formulas with free variables (expressing, respectively, properties to be satisfied and those to be avoided) and prove the corresponding omitting types theorem in the framework of uninorm-based logics.

Název v anglickém jazyce

A general omitting types theorem in mathematical fuzzy logic

Popis výsledku anglicky

This paper is a contribution to the theoretical study of weighted structures in fuzzy logic. We consider an important item from classical model theory: the construction of models that do not have any collection satisfying certain prescribed properties, that is, an omitting types theorem. We generalize the work done by Cintula and Diaconescu (Omitting Types Theorem for Fuzzy Logics, IEEE Transactions on Fuzzy Systems 27(2):273-277, 2019), who solved the problem for standard one-sided types. Instead, we introduce types for fuzzy structures as pairs of sets of formulas with free variables (expressing, respectively, properties to be satisfied and those to be avoided) and prove the corresponding omitting types theorem in the framework of uninorm-based logics.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10102 - Applied mathematics

Projekt

<a href="/cs/project/GA17-04630S" target="_blank" >GA17-04630S: Predikátové škálované logiky a jejich aplikace v informatice</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

IEEE Transactions on Fuzzy Systems

ISSN

1063-6706

e-ISSN

1941-0034

Svazek periodika

29

Číslo periodika v rámci svazku

6

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

9

Strana od-do

1386-1394

Kód UT WoS článku

000658338600006

EID výsledku v databázi Scopus

2-s2.0-85079659019