Výsledky vyhledávání
- 1.0405624 - UIVT-O 336006 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Cintula, Petr
Fuzzy Logics as the Logics of Chains.
[Fuzzy logiky jakožto logiky řetězců.]
Fuzzy Sets and Systems. Roč. 157, č. 5 (2006), s. 604-610. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR 1ET100300517; GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logics * formal fuzzy logic * weakly implicative fuzzy logics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.181, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0125773Název souboru Staženo Velikost Komentář Verze Přístup 0405624.pdf 12 632.8 KB Autorský preprint povolen - 2.0405622 - UIVT-O 336004 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
What is Mathematical Fuzzy Logic.
[Co je matematická fuzzy logika.]
Fuzzy Sets and Systems. Roč. 157, č. 5 (2006), s. 597-603. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * mathematical logic * triangular forms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.181, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0125771 - 3.0405601 - UIVT-O 330981 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
A Non-Arithmetical Gödel Logic.
[Nearitmetická Gödelova logika.]
Logic Journal of the IGPL. Roč. 13, č. 4 (2005), s. 435-441. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * Gödel logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.382, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125752 - 4.0405482 - UIVT-O 330857 RIV SG eng J - Článek v odborném periodiku
Kramosil, Ivan
Extensions of Partial Lattice-Valued Possibilistic Measures from Nested Domains.
[Parciální posibilistické míry s hodnotami ve svazu a jejich rozšíření z inklusí uspořádaných definičních oborů.]
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems. Roč. 14, č. 2 (2006), s. 175-197. ISSN 0218-4885. E-ISSN 1793-6411
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: complete lattice * possibilistic measure * lattice-valued possibilistic space * nested system of sets * conservative extension * Cartesian product of possibilistic spaces
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.406, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0125644Název souboru Staženo Velikost Komentář Verze Přístup 0405482.pdf 1 753.1 KB Autorský preprint povolen - 5.0389302 - ÚI 2013 GB eng J - Článek v odborném periodiku
Hájek, Petr
Kurt Gödel, completeness, incompleteness.
Journal of Physics: Conference Series. Roč. 82, č. 1 (2007), 012005_1-012005_4. ISSN 1742-6588. E-ISSN 1742-6596.
[Brno Kurt Gödel Days. Brno, 25.04.2007-28.04.2007]
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Kurt Gödel * completeness * incompleteness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0218188Název souboru Staženo Velikost Komentář Verze Přístup 0389302.pdf 2 629.6 KB Vydavatelský postprint povolen - 6.0357712 - ÚI 2012 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic.
Logic Journal of the IGPL. Roč. 19, č. 3 (2011), s. 467-475. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.913, rok: 2011
Trvalý link: http://hdl.handle.net/11104/0195911 - 7.0328435 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Hájek, Petr
Triangular Norm Based Predicate Fuzzy Logics.
[T-normové predikátové fuzzy logiky.]
Fuzzy Sets and Systems. Roč. 161, č. 3 (2010), s. 311-346. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR KJB100300502; GA ČR GEICC/08/E018; GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * predicate logics * t-norms * standard semantics * arithmetical hierarchy * core fuzzy logics * model theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.875, rok: 2010
Trvalý link: http://hdl.handle.net/11104/0174750Název souboru Staženo Velikost Komentář Verze Přístup 0328435.pdf 8 859.3 KB Autorský preprint povolen - 8.0322753 - ÚI 2010 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II.
[Aritmetická složitost fuzzy predikátových logik - přehled II.]
Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 212-219. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logics * arithmetical hierarchy * tautologies
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0170919 - 9.0319757 - ÚI 2009 RIV CZ eng J - Článek v odborném periodiku
Kramosil, Ivan
Locally Sensitive Lattice-Valued Possibilistic Entropy Functions.
[Lokálně senzitivní posibilistické funkce entropie s hodnotami ve svazu.]
Neural Network World. Roč. 18, č. 6 (2008), s. 469-488. ISSN 1210-0552
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: complete lattice * chained lattice * lattice-valued possibilistic distribution * possibilistic expected value
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.395, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0005018Název souboru Staženo Velikost Komentář Verze Přístup 0319757.pdf 3 389.7 KB Vydavatelský postprint povolen - 10.0313648 - ÚI 2009 RIV DE eng J - Článek v odborném periodiku
Wang, S.M. - Cintula, Petr
Logics with Disjunction and Proof by Cases.
[Logiky s disjunkcí a důkaz po případech.]
Archive for Mathematical Logic. Roč. 47, č. 5 (2008), s. 435-446. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0164397Název souboru Staženo Velikost Komentář Verze Přístup 0313648.pdf 11 677.5 KB Autorský preprint povolen