Modely a podmodely fuzzy teorií
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F03%3AA0800KJ0" target="_blank" >RIV/61988987:17610/03:A0800KJ0 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Models and submodels of fuzzy theories
Popis výsledku v původním jazyce
This paper is a contribution to the development of the model theory of fuzzy logic in narrow sense with evaluated syntax. Several generalizations of the concept of submodel are defined which have no counterpart in classical logic and demonstrate some properties of them. The main results concern elementary extensions and elementary chains. As a consequence, we will also present a generalization of the well known Craig's interpolation theorem for fuzzy logic.
Název v anglickém jazyce
Models and submodels of fuzzy theories
Popis výsledku anglicky
This paper is a contribution to the development of the model theory of fuzzy logic in narrow sense with evaluated syntax. Several generalizations of the concept of submodel are defined which have no counterpart in classical logic and demonstrate some properties of them. The main results concern elementary extensions and elementary chains. As a consequence, we will also present a generalization of the well known Craig's interpolation theorem for fuzzy logic.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2003
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 knihy nebo sborníku
Intelligent Systems for Information Processing: From Representation to Applications
ISBN
0-444-51379-5
Počet stran výsledku
11
Strana od-do
363-373
Počet stran knihy
—
Název nakladatele
Elsevier
Místo vydání
Amsterdam
Kód UT WoS kapitoly
—