Cut and weakening in fuzzy Horn logic

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Cut and weakening in fuzzy Horn logic

Original language description

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.

Czech name

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

Czech description

Studie dedukčních pravidel řezu a zeslabování v fuzzy Hornově logice.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BD - Information theory

OECD FORD branch

—

Project

—

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

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

Name of the periodical

Logic Journal of the IGPL

ISSN

1367-0751

e-ISSN

—

Volume of the periodical

13

Issue of the periodical within the volume

5

Country of publishing house

GB - UNITED KINGDOM

Number of pages

11

Pages from-to

599-609

UT code for WoS article

—

EID of the result in the Scopus database

—