Search results
- 1.0405624 - UIVT-O 336006 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR 1ET100300517; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : non-classical logics * formal fuzzy logic * weakly implicative fuzzy logics
Subject RIV: BA - General Mathematics
Impact factor: 1.181, year: 2006
Permanent Link: http://hdl.handle.net/11104/0125773File Download Size Commentary Version Access 0405624.pdf 12 632.8 KB Author´s preprint open-access - 2.0405622 - UIVT-O 336004 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * mathematical logic * triangular forms
Subject RIV: BA - General Mathematics
Impact factor: 1.181, year: 2006
Permanent Link: http://hdl.handle.net/11104/0125771 - 3.0405601 - UIVT-O 330981 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * Gödel logic * arithmetical hierarchy
Subject RIV: BA - General Mathematics
Impact factor: 0.382, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125752 - 4.0405482 - UIVT-O 330857 RIV SG eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : complete lattice * possibilistic measure * lattice-valued possibilistic space * nested system of sets * conservative extension * Cartesian product of possibilistic spaces
Subject RIV: BA - General Mathematics
Impact factor: 0.406, year: 2006
Permanent Link: http://hdl.handle.net/11104/0125644File Download Size Commentary Version Access 0405482.pdf 1 753.1 KB Author´s preprint open-access - 5.0389302 - ÚI 2013 GB eng J - Journal Article
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]
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : Kurt Gödel * completeness * incompleteness
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0218188File Download Size Commentary Version Access 0389302.pdf 2 629.6 KB Publisher’s postprint open-access - 6.0357712 - ÚI 2012 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
Subject RIV: BA - General Mathematics
Impact factor: 0.913, year: 2011
Permanent Link: http://hdl.handle.net/11104/0195911 - 7.0328435 - ÚI 2010 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR KJB100300502; GA ČR GEICC/08/E018; GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * predicate logics * t-norms * standard semantics * arithmetical hierarchy * core fuzzy logics * model theory
Subject RIV: BA - General Mathematics
Impact factor: 1.875, year: 2010
Permanent Link: http://hdl.handle.net/11104/0174750File Download Size Commentary Version Access 0328435.pdf 8 859.3 KB Author´s preprint open-access - 8.0322753 - ÚI 2010 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy predicate logics * arithmetical hierarchy * tautologies
Subject RIV: BA - General Mathematics
Impact factor: 0.667, year: 2009
Permanent Link: http://hdl.handle.net/11104/0170919 - 9.0319757 - ÚI 2009 RIV CZ eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : complete lattice * chained lattice * lattice-valued possibilistic distribution * possibilistic expected value
Subject RIV: BA - General Mathematics
Impact factor: 0.395, year: 2008
Permanent Link: http://hdl.handle.net/11104/0005018File Download Size Commentary Version Access 0319757.pdf 3 389.7 KB Publisher’s postprint open-access - 10.0313648 - ÚI 2009 RIV DE eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : logics with disjunction * consequence relation * proof by cases property * intersections of logics * weakly implicative logics * weakly implicative fuzzy logics
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0164397File Download Size Commentary Version Access 0313648.pdf 11 677.5 KB Author´s preprint open-access