Search results
- 1.0523434 - ÚI 2023 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GA17-04630S
Institutional support: RVO:67985807
Keywords : undecidability * substructural logic * Robinson arithmetic
OECD category: Pure mathematics
Impact factor: 0.6, year: 2022
Method of publishing: Limited access
http://dx.doi.org/10.1017/S175502032000012X
Permanent Link: http://hdl.handle.net/11104/0307787 - 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.0405596 - UIVT-O 330976 RIV NL eng J - Journal Article
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
Institutional research plan: CEZ:AV0Z10300504
Keywords : intuitionistic fuzzy sets * intuitionistic logic * terminological clash
Subject RIV: BA - General Mathematics
Impact factor: 1.039, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125750 - 5.0405556 - UIVT-O 330935 RIV DE eng J - Journal Article
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
R&D Projects: GA MŠMT LN00A056
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy predicate logic * arithmetical complexity
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125711 - 6.0405539 - UIVT-O 330918 RIV DE eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * fuzzy set theory * contradiction
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125697 - 7.0405529 - UIVT-O 330907 RIV US eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : fleas * fuzzy logic * flea algebras
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125687 - 8.0405476 - UIVT-O 330851 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR 1ET100300419
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * description logic * continuous t-norms
Subject RIV: BA - General Mathematics
Impact factor: 1.039, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125639 - 9.0405122 - UIVT-O 20030089 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * BL-algebras * noncommutativity
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125325 - 10.0405075 - UIVT-O 20030078 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : sorites paradox * basic fuzzy logic * fuzzy logic in narrow sense * Peano arithmetic
Subject RIV: BA - General Mathematics
Impact factor: 0.172, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125290