Formální systémy fuzzy logiky a jejich fragmenty

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00088778" target="_blank" >RIV/67985807:_____/07:00088778 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21230/07:00134816

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal Systems of Fuzzy Logic and their Fragments

Popis výsledku v původním jazyce

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue ofresearch in any class of non-classical logics. We study the fragments of nine prominent fuzzy logics to all sublanguages with implication. The results achieved in the paper for those nine logics are usually corollaries of theorems with wide scope of applicability. We show how many of these fragments are really distinct and find axiomatic systems for most of them (we construct strongly separable axiomatic systems for eight logic). Then we fully answer the question for which fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction.

Název v anglickém jazyce

Formal Systems of Fuzzy Logic and their Fragments

Popis výsledku anglicky

Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue ofresearch in any class of non-classical logics. We study the fragments of nine prominent fuzzy logics to all sublanguages with implication. The results achieved in the paper for those nine logics are usually corollaries of theorems with wide scope of applicability. We show how many of these fragments are really distinct and find axiomatic systems for most of them (we construct strongly separable axiomatic systems for eight logic). Then we fully answer the question for which fragments the corresponding class of algebras forms a variety. Finally, we solve the problem how to axiomatize predicate versions of logics without the lattice disjunction.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

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

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

150

Číslo periodika v rámci svazku

1-3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

26

Strana od-do

40-65

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—