Řez a zeslabování v fuzzy Hornově logice

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F05%3A00002278" target="_blank" >RIV/61989592:15310/05:00002278 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Cut and weakening in fuzzy Horn logic

Popis výsledku v původním jazyce

We study generalized deduction rules of cut and weakening in the context of equational fragment of Pavelka-style fuzzy logic using complete residuated lattices as the structures of truth degrees. The deduction rules in question are parameterized by a truth stresser, an additional unary operation on the structure of truth degrees. It is shown that the deductive system of fuzzy Horn logic can be replaced by several equivalent systems which use cut and weakening instead of the monotony rule.

Název v anglickém jazyce

Cut and weakening in fuzzy Horn logic

Popis výsledku anglicky

We study generalized deduction rules of cut and weakening in the context of equational fragment of Pavelka-style fuzzy logic using complete residuated lattices as the structures of truth degrees. The deduction rules in question are parameterized by a truth stresser, an additional unary operation on the structure of truth degrees. It is shown that the deductive system of fuzzy Horn logic can be replaced by several equivalent systems which use cut and weakening instead of the monotony rule.

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í

2005

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

Logic Journal of the IGPL

ISSN

1367-0751

e-ISSN

—

Svazek periodika

13

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

11

Strana od-do

599-609

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—