Výsledky vyhledávání
- 1.0523434 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
Badia, G. - Cintula, Petr - Hájek, Petr - Tedder, Andrew
How Much Propositional Logic Suffices for Rosser's Undecidability Theorem?
Review of Symbolic Logic. Roč. 15, č. 2 (2022), s. 487-504. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: undecidability * substructural logic * Robinson arithmetic
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2022
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S175502032000012X
Trvalý link: http://hdl.handle.net/11104/0307787 - 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.0405596 - UIVT-O 330976 RIV NL eng J - Článek v odborném periodiku
Dubois, D. - Gottwald, S. - Hájek, Petr - Kacprzyk, J. - Prade, H.
Terminological Difficulties in Fuzzy Set Theory - The Case of "Intuitionistic Fuzzy Sets".
[Terminologické nesnáze ve fuzzy teorii množin.]
Fuzzy Sets and Systems. Roč. 156, č. 3 (2005), s. 485-491. ISSN 0165-0114. E-ISSN 1872-6801
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: intuitionistic fuzzy sets * intuitionistic logic * terminological clash
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125750 - 5.0405556 - UIVT-O 330935 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
Arithmetical Complexity of Fuzzy Predicate Logics - A Survey.
[Aritmetická složitost fuzzy predikátové logiky - přehled.]
Soft Computing. Roč. 9, č. 12 (2005), s. 935-941. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA MŠMT LN00A056
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy predicate logic * arithmetical complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125711 - 6.0405539 - UIVT-O 330918 RIV DE eng J - Článek v odborném periodiku
Hájek, Petr
On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory.
[O aritmetice v Cantor-Lukasiewiczove fuzzy teorii množin.]
Archive for Mathematical Logic. Roč. 44, č. 6 (2005), s. 763-782. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz logic * fuzzy set theory * contradiction
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125697 - 7.0405529 - UIVT-O 330907 RIV US eng J - Článek v odborném periodiku
Hájek, Petr
Fleas and Fuzzy Logic.
[Blechy a fuzzy logika.]
Journal of Multiple-Valued Logic and Soft Computing. Roč. 11, 1-2 (2005), s. 137-152. ISSN 1542-3980. E-ISSN 1542-3999
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fleas * fuzzy logic * flea algebras
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125687 - 8.0405476 - UIVT-O 330851 RIV NL eng J - Článek v odborném periodiku
Hájek, Petr
Making Fuzzy Description Logic More General.
[Jak udělat deskripční logiku obecnější.]
Fuzzy Sets and Systems. Roč. 154, č. 1 (2005), s. 1-15. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA AV ČR 1ET100300419
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * description logic * continuous t-norms
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.039, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125639 - 9.0405122 - UIVT-O 20030089 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
Fuzzy Logics with Noncommutative Conjuctions.
Journal of Logic and Computation. Roč. 13, č. 4 (2003), s. 469-479. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: fuzzy logic * BL-algebras * noncommutativity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125325 - 10.0405075 - UIVT-O 20030078 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr - Novák, V.
The Sorites Paradox and Fuzzy Logic.
International Journal of General Systems. Roč. 32, č. 4 (2003), s. 373-383. ISSN 0308-1079. E-ISSN 1563-5104
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: sorites paradox * basic fuzzy logic * fuzzy logic in narrow sense * Peano arithmetic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.172, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125290