Počet záznamů: 1
On the independence of axioms in BL and MTL
- 1.
SYSNO ASEP 0370261 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název On the independence of axioms in BL and MTL Tvůrce(i) Chvalovský, Karel (UIVT-O) SAI, RID, ORCID Zdroj.dok. Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114
Roč. 197, 16 June (2012), s. 123-129Poč.str. 7 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova non-classical logics ; basic fuzzy logic (BL) ; monoidal t-norm based logic (MTL) ; Hilbert-style calculi ; independence of axioms Vědní obor RIV BA - Obecná matematika CEP GEICC/08/E018 GA ČR - Grantová agentura ČR GD401/09/H007 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000303631200009 EID SCOPUS 84859421478 DOI 10.1016/j.fss.2011.10.018 Anotace 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. This proof 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013
Počet záznamů: 1