Search results
- 1.0563350 - ÚI 2024 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807
Keywords : fuzzy logic * Łukasiewicz logic * Rational Pavelka logic * rational truth constants * graded formula
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.fss.2022.08.010
Permanent Link: https://hdl.handle.net/11104/0335337 - 2.0503661 - ÚI 2020 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : propositional logic * fuzzy logic * Łukasiewicz Logic * rational truth constants * implicit definability * computational complexity
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 3.050, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1007/s00500-018-3461-x
Permanent Link: http://hdl.handle.net/11104/0295472 - 3.0478211 - ÚI 2018 GB eng J - Journal Article
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
Keywords : involutive negation * possibilistic logic * truth * Product fuzzy logic * modal fuzzy logics * strong standard completeness * rational truth-constants * infinitary rule
Impact factor: 0.740, year: 2017
Permanent Link: http://hdl.handle.net/11104/0274747 - 4.0461993 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Pavelka style completeness * truth constants * mathematical fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261521File Download Size Commentary Version Access a0461993.pdf 1 163.6 KB Publisher’s postprint open-access - 5.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 - 6.0405571 - UIVT-O 330951 CZ eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : complexity * fuzzy logics * rational truth constants
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125725 - 7.0331705 - ÚI 2010 CZ eng V - Research Report
Haniková, Zuzana
Logics with Truth Constants for Delimiting Idempotents.
Prague: ICS AS CR, 2009. 9 s. Technical Report, V-1055.
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : propositional fuzzy logic * truth constants * axiomatization * computational complexity
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0177152File Download Size Commentary Version Access v1055-09.pdf 15 235 KB Other open-access - 8.0045161 - ÚI 2007 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT 1M0545
Keywords : non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.840, year: 2006
Permanent Link: http://hdl.handle.net/11104/0137779File Download Size Commentary Version Access 0045161.pdf 0 427 KB Author´s preprint open-access