Počet záznamů: 1
On Product Logic with Truth-Constants
- 1.
SYSNO ASEP 0045161 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 Product Logic with Truth-Constants Překlad názvu O produktové logice s pravdivostními konstantami Tvůrce(i) Savický, Petr (UIVT-O) SAI, RID, ORCID
Cignoli, R. (AR)
Esteva, F. (ES)
Godo, L. (ES)
Noguera, C. (ES)Zdroj.dok. Journal of Logic and Computation - ISSN 0955-792X
Roč. 16, č. 2 (2006), s. 205-225Poč.str. 21 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova non-classical logic ; fuzzy logic ; product logic ; truth-constants ; standard completeness Vědní obor RIV BA - Obecná matematika CEP 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy UT WOS 000236613800004 EID SCOPUS 33645746903 DOI 10.1093/logcom/exi075 Anotace Product Logic is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction and implication are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants, for example one truth-constant for each rational number in [0, 1], and by adding the corresponding book-keeping axioms for the truth-constants. We first show that the corresponding logics are algebraizable, and hence complete with respect to the variety of corresponding algebras. The main result of the paper is the canonical standard completeness of these logics, that is, theorems of them are exactly the 1-tautologies of the algebra defined over the real unit interval where the truth-constants are interpreted as their own values. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2007
Počet záznamů: 1