Search results
- 1.0575737 - FLÚ 2024 RIV GR eng C - Conference Paper (international conference)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : fuzzy logic * logic of questions * inquisitive semantics * information states
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Permanent Link: https://hdl.handle.net/11104/0346057 - 2.0568283 - ÚI 2023 RIV GB eng J - Journal Article
Aguilera, J. P. - Bydžovský, J. - Fernández-Duque, David
Noetherian Godel logics.
Journal of Logic and Computation. Roč. 32, č. 8 (2022), s. 1487-1503. ISSN 0955-792X. E-ISSN 1465-363X
Institutional support: RVO:67985807
Keywords : Godel logic * fuzzy logic * hyperarithmetical set
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1093/logcom/exac064
Permanent Link: https://hdl.handle.net/11104/0339615 - 3.0563809 - ÚI 2024 RIV CH eng M - Monography Chapter
Diéguez, M. - Fernández-Duque, David
Decidability for S4 Gödel Modal Logics.
Computational Intelligence and Mathematics for Tackling Complex Problems 4. Cham: Springer, 2023 - (Cornejo, M.; Harmati, I.; Koczy, L.; Medina-Moreno, J.), s. 1-7. Studies in Computational Intelligence, 1040. ISBN 978-3-031-07706-7
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Completeness * Fuzzy logic * Gödel logic * Modal logic
OECD category: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
Permanent Link: https://hdl.handle.net/11104/0335600File Download Size Commentary Version Access 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Author´s preprint open-access - 4.0563602 - ÚI 2023 RIV NL eng J - Journal Article
Cintula, Petr - Grimau, Berta - Noguera, C. - Smith, N.J.J.
These degrees go to eleven: fuzzy logics and gradable predicates.
Synthese. Roč. 200, č. 6 (2022), č. článku 445. ISSN 0039-7857. E-ISSN 1573-0964
R&D Projects: GA ČR(CZ) GA18-00113S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Vagueness * Fuzzy logic * Formal semantics * Gradable adjectives * Sorites paradox
OECD category: Philosophy, History and Philosophy of science and technology; Applied mathematics (UTIA-B)
Impact factor: 1.5, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1007/s11229-022-03909-2
Permanent Link: https://hdl.handle.net/11104/0335529 - 5.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 - 6.0563275 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
Aguilera, J. P. - Diéguez, M. - Fernández-Duque, David - McLean, B.
Time and Godel: Fuzzy Temporal Reasoning in PSPACE.
Logic, Language, Information, and Computation. Cham: Springer, 2022 - (Ciabattoni, A.; Pimentel, E.; de Queiroz, R.), s. 18-35. Lecture Notes in Computer Science, 13468. ISBN 978-3-031-15297-9. ISSN 0302-9743.
[WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./. Iași (RO), 20.09.2022-23.09.2022]
Institutional support: RVO:67985807
Keywords : Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
OECD category: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Permanent Link: https://hdl.handle.net/11104/0340208 - 7.0561334 - FLÚ 2023 RIV US eng J - Journal Article
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : finite weighted structures * first-order fuzzy logics * mathematical fuzzy logic * monoidal t-norms
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
https://doi.org/10.1109/TFUZZ.2021.3131200
Permanent Link: https://hdl.handle.net/11104/0335510 - 8.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 - 9.0558057 - ÚTIA 2023 RIV CZ eng C - Conference Paper (international conference)
Flores Casamayor, H. - Carpitella, Silvia - Izquierdo, J. - Mora-Rodríguez, J. - Delgado-Galván, X.
Hybrid evaluation of the industrial global impact on Mexican aquifers under uncertain criteria evaluations.
Proceedings of the 12th Workshop on Uncertainty Processing. Prague: MatfyzPress, 2022 - (Studený, M.; Ay, N.; Coletti, G.; Kleiter, G.; Shenoy, P.), s. 49-60, č. článku 12. ISBN 978-80-7378-460-7.
[WUPES 2022: 12th Workshop on Uncertainty Processing. Kutná Hora (CZ), 01.06.2022-04.06.2022]
Grant - others:GA ČR(CZ) GA19-06569S
Program: GA
Institutional support: RVO:67985556
Keywords : Analytic Hierarchy Process (AHP) * Fuzzy Logic (FL) theory * Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS)
OECD category: Applied mathematics
http://library.utia.cas.cz/separaty/2022/MTR/carpitella-0558057.pdf
Permanent Link: http://hdl.handle.net/11104/0332286 - 10.0550074 - ÚTIA 2023 RIV US eng J - Journal Article
Badia, G. - Noguera, Carles
A 0-1 Law in Mathematical Fuzzy Logic.
IEEE Transactions on Fuzzy Systems. Roč. 30, č. 9 (2022), s. 3833-3840. ISSN 1063-6706. E-ISSN 1941-0034
Institutional support: RVO:67985556
Keywords : mathematical fuzzy logic * first-order fuzzy logics * finite weighted structures
OECD category: Pure mathematics
Impact factor: 11.9, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2022/MTR/noguera-0550074.pdf https://ieeexplore.ieee.org/document/9628030
Permanent Link: http://hdl.handle.net/11104/0326170