Fuzzy Hornova logika II: implikačně definované třídy

Kód výsledku v IS VaVaI

RIV/61989592:15310/06:00002721 - isvavai.cz

Nalezeny alternativní kódy

RIV/61989592:15310/06:00003270

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Fuzzy Horn logic II: implicationally defined classes

Popis výsledku v původním jazyce

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, wecharacterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.

Název v anglickém jazyce

Fuzzy Horn logic II: implicationally defined classes

Popis výsledku anglicky

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, wecharacterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BD - Teorie informace

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

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ů

Název periodika

Archive for Mathematical Logic

ISSN

0933-5846

e-ISSN

—

Svazek periodika

45

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

29

Strana od-do

149-177

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—