Výsledky vyhledávání
- 1.0563350 - ÚI 2024 RIV NL eng J - Článek v odborném periodiku
Haniková, Zuzana
Rational Pavelka logic: The best among three worlds?
Fuzzy Sets and Systems. Roč. 456, March 2023 (2023), s. 92-106. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy logic * Łukasiewicz logic * Rational Pavelka logic * rational truth constants * graded formula
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.9, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.fss.2022.08.010
Trvalý link: https://hdl.handle.net/11104/0335337 - 2.0503661 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Haniková, Zuzana
Implicit Definability of Truth Constants in Łukasiewicz Logic.
Soft Computing. Roč. 23, č. 7 (2019), s. 2279-2287. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-018-3461-x
Trvalý link: http://hdl.handle.net/11104/0295472 - 3.0478211 - ÚI 2018 GB eng J - Článek v odborném periodiku
Vidal, Amanda - Esteva, F. - Godo, L.
On modal extensions of Product fuzzy logic.
Journal of Logic and Computation. Roč. 27, č. 1 (2017), s. 299-336. ISSN 0955-792X. E-ISSN 1465-363X
Klíčová slova: involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impakt faktor: 0.740, rok: 2017
Trvalý link: http://hdl.handle.net/11104/0274747 - 4.0461993 - ÚI 2017 ZA eng A - Abstrakt
Cintula, Petr
Pavelka-tyle Complete Fuzzy Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 53-55.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Pavelka style completeness * truth constants * mathematical fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261521Název souboru Staženo Velikost Komentář Verze Přístup a0461993.pdf 1 163.6 KB Vydavatelský postprint povolen - 5.0436177 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
Obor OECD: Pure mathematics
Impakt faktor: 2.718, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0239961Název souboru Staženo Velikost Komentář Verze Přístup 0436177.pdf 6 664.8 KB Autorský preprint vyžádat - 6.0405571 - UIVT-O 330951 CZ eng A - Abstrakt
Hájek, Petr
Complexity of T-norm Based Fuzzy logics with Rational Truth Constants.
Proceedings of the Logic of Soft Computing 4. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 45-46
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: complexity * fuzzy logics * rational truth constants
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125725 - 7.0331705 - ÚI 2010 CZ eng V - Výzkumná zpráva
Haniková, Zuzana
Logics with Truth Constants for Delimiting Idempotents.
Prague: ICS AS CR, 2009. 9 s. Technical Report, V-1055.
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: propositional fuzzy logic * truth constants * axiomatization * computational complexity
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0177152Název souboru Staženo Velikost Komentář Verze Přístup v1055-09.pdf 15 235 KB Jiná povolen - 8.0045161 - ÚI 2007 RIV GB eng J - Článek v odborném periodiku
Savický, Petr - Cignoli, R. - Esteva, F. - Godo, L. - Noguera, C.
On Product Logic with Truth-Constants.
[O produktové logice s pravdivostními konstantami.]
Journal of Logic and Computation. Roč. 16, č. 2 (2006), s. 205-225. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA MŠMT 1M0545
Klíčová slova: non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.840, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0137779Název souboru Staženo Velikost Komentář Verze Přístup 0045161.pdf 0 427 KB Autorský preprint povolen