Počet záznamů: 1
Product Lukasiewicz Logic
- 1.0105219 - UIVT-O 20040210 RIV DE eng J - Článek v odborném periodiku
Horčík, Rostislav - Cintula, Petr
Product Lukasiewicz Logic.
[Produkt-Lukasiewiczova logika.]
Archive for Mathematical Logic. Roč. 43, - (2004), s. 477-503. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA1030004; GA ČR GA201/02/1540
Grant ostatní: GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042
Výzkumný záměr: CEZ:AV0Z1030915
Klíčová slova: fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
DOI: https://doi.org/10.1007/s00153-004-0214-6
Among all many-valued logics the Lukasiewicz logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lukasiewicz logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. Finally, the predicate version of PL logic is introduced and developed.
Lukasieviczova logika hraje fundamentální roli mezi tzv. fuzzy logikami. Ovšem její vyjadřovací síla je omezena na spojité po částech lineární funkce s celočíselnými koeficienty. V tomto článku rozšíříme jazyk této logiky o novou binární logickou spojku, jejíž standardní sémantikou bude násobení (reálných čísel). Definujeme logiku PL, několik jejích rozšíření a zkoumáme jejich vlastnosti. Na závěr zkoumáme predikátové verze definovaných logik.
Trvalý link: http://hdl.handle.net/11104/0012466
Název souboru Staženo Velikost Komentář Verze Přístup 0105219.pdf 9 603.7 KB Autorský preprint povolen
Počet záznamů: 1