Opouštění typů ve fuzzy logice s ohodnocenou syntaxí
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F06%3A00000147" target="_blank" >RIV/61988987:17610/06:00000147 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61988987:17610/06:00000074
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Omitting Types in Fuzzy Logic with Evaluated Syntax
Popis výsledku v původním jazyce
This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. In this paper, we generalize the omitting types theorem for Evl, provided that either it has logical (truth) constants for all truth values, or it has these constants for truth values for rational values only.
Název v anglickém jazyce
Omitting Types in Fuzzy Logic with Evaluated Syntax
Popis výsledku anglicky
This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. In this paper, we generalize the omitting types theorem for Evl, provided that either it has logical (truth) constants for all truth values, or it has these constants for truth values for rational values only.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F04%2F1033" target="_blank" >GA201/04/1033: Přibližná dedukce a zobecněné kvantifikátory</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2006
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ů
Údaje specifické pro druh výsledku
Název periodika
Mathematical Logic Quarterly
ISSN
0942-5616
e-ISSN
—
Svazek periodika
52
Číslo periodika v rámci svazku
—
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
10
Strana od-do
259
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—