Search results
- 1.0559061 - ÚI 2023 RIV US eng J - Journal Article
Gispert, J. - Haniková, Zuzana - Moraschini, T. - Stronkowski, Michał
Structural Completeness in Many-Valued Logics with Rational Constants.
Notre Dame Journal of Formal Logic. Roč. 63, č. 3 (2022), s. 261-299. ISSN 0029-4527. E-ISSN 1939-0726
R&D Projects: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1215/00294527-2022-0021
Permanent Link: https://hdl.handle.net/11104/0332481 - 2.0436177 - ÚI 2016 RIV NL eng J - Journal Article
Cintula, Petr
A Note on Axiomatizations of Pavelka-style Complete Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 292, 1 June (2016), s. 160-174. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
OECD category: Pure mathematics
Impact factor: 2.718, year: 2016
Permanent Link: http://hdl.handle.net/11104/0239961File Download Size Commentary Version Access 0436177.pdf 6 664.8 KB Author´s preprint require - 3.0404855 - UIVT-O 20020215 CZ eng V - Research Report
Hájek, Petr
Mathematical Fuzzy Logic - State of Art 2001.
Prague: ITI Charles University, 2001. 19 s. ITI Series, 2001-027.
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * BL-algebras * Lukasiewicz * Gödel * product logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125082 - 4.0404803 - UIVT-O 20020135 SK eng A - Abstract
Cintula, Petr - Gerla, B.
About Pseudo-Normal Forms of the Formulas of Product Fuzzy Logic and Functions Expressible within this Logic.
The Sixth International Conference FSTA 2002 on Fuzzy Sets Theory and Its Applications. Abstracts. Liptovský Mikuláš: Military Academy, 2002 - (Klement, P.; Mesiar, R.; Drobná, E.; Chovanec, F.). s. 44
[FSTA 2002 /6./. 28.01.2002-01.02.2002, Liptovský Ján]
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : product logic * fuzzy logic * functional representation * normal forms
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125036 - 5.0404739 - UIVT-O 20030014 RIV DE eng J - Journal Article
Cintula, Petr
Advances in the LPi and LPi1/2 Logics.
Archive for Mathematical Logic. Roč. 42, č. 5 (2003), s. 449-468. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * Lukasiewicz logic * product logic
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0124977File Download Size Commentary Version Access 0404739.pdf 0 739.5 KB Author´s preprint open-access - 6.0404516 - UIVT-O 20020145 RIV NL eng J - Journal Article
Hájek, Petr
Observations on the Monoidal t-norm Logic.
Fuzzy Sets and Systems. Roč. 132, č. 1 (2002), s. 107-112. ISSN 0165-0114. E-ISSN 1872-6801
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : non-classical logics * basic fuzzy logic * monoidal t-norm logic * product logic
Subject RIV: BA - General Mathematics
Impact factor: 0.550, year: 2002
Permanent Link: http://hdl.handle.net/11104/0124765 - 7.0404471 - UIVT-O 20020019 RIV DE eng J - Journal Article
Cintula, Petr
About Axiomatic Systems of Product Fuzzy Logic.
Soft Computing. Roč. 5, č. 3 (2001), s. 243-244. ISSN 1432-7643. E-ISSN 1433-7479
Keywords : fuzzy logic * many-valued logic * product logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124725File Download Size Commentary Version Access 0404471.pdf 4 574.3 KB Author´s preprint open-access - 8.0404397 - UIVT-O 20020018 RIV NL eng J - Journal Article
Cintula, Petr
The LPi and LPi/2 Propositional and Predicate Logics.
Fuzzy Sets and Systems. Roč. 124, č. 3 (2001), s. 289-302. ISSN 0165-0114. E-ISSN 1872-6801
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * product logic * Lukasiewicz logic
Subject RIV: BA - General Mathematics
Impact factor: 0.470, year: 2001
Permanent Link: http://hdl.handle.net/11104/0124651File Download Size Commentary Version Access 0404397.pdf 1 661.3 KB Author´s preprint open-access - 9.0403958 - UIVT-O 20010016 RIV NL eng J - Journal Article
Hájek, Petr
Fuzzy Logic and Arithmetical Hierarchy III.
Studia Logica. Roč. 68, č. 1 (2001), s. 129-142. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0124243 - 10.0403673 - UIVT-O 20030110 RIV CZ cze M - Monography Chapter
Hájek, Petr
Deduktivní systémy fuzzy logiky.
[Deductive Systems of Fuzzy Logic.]
Umělá inteligence 4. Praha: Academia, 2003 - (Mařík, V.; Štěpánková, O.; Lažanský, J.), s. 71-92. ISBN 80-200-1044-0
R&D Projects: GA MŠMT LN00A056
Keywords : fuzzy logic * deduction * Lukasiewicz logic * Gödel logic * product logic * similarity
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0123971