On the Independence of Axioms in BL and MTL

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F12%3A10106115" target="_blank" >RIV/00216208:11210/12:10106115 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/12:00370261

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.fss.2011.10.018" target="_blank" >http://dx.doi.org/10.1016/j.fss.2011.10.018</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.fss.2011.10.018" target="_blank" >10.1016/j.fss.2011.10.018</a>

Jazyk výsledku

angličtina

Název v původním jazyce

On the Independence of Axioms in BL and MTL

Popis výsledku v původním jazyce

We prove that the axiom expressing that the multiplicative conjunction of two formulae implies the first one of them is redundant in the standard Hilbert-style calculi of Hájek's basic logic BL and Esteva and Godo's monoidal t-norm based logic MTL. Thisproof does not use the axiom expressing that multiplicative conjunction is commutative, which is already known to be redundant. Therefore both of these axioms are simultaneously redundant. We also show that all the other axioms are independent of each other.

Název v anglickém jazyce

On the Independence of Axioms in BL and MTL

Popis výsledku anglicky

We prove that the axiom expressing that the multiplicative conjunction of two formulae implies the first one of them is redundant in the standard Hilbert-style calculi of Hájek's basic logic BL and Esteva and Godo's monoidal t-norm based logic MTL. Thisproof does not use the axiom expressing that multiplicative conjunction is commutative, which is already known to be redundant. Therefore both of these axioms are simultaneously redundant. We also show that all the other axioms are independent of each other.

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>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

197

Číslo periodika v rámci svazku

Červen

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

7

Strana od-do

123-129

Kód UT WoS článku

000303631200009

EID výsledku v databázi Scopus

—