Výsledky vyhledávání
- 1.0577158 - ÚI 2025 US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Crisp Bi-Gödel modal logic and its paraconsistent expansion.
Logic Journal of the IGPL. Online First 28 September 2023 (2024), č. článku jzad017. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Paraconsistent logics * Gödel modal logic * correspondence theory * axiomatic systems * complexity
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/jigpal/jzad017
Trvalý link: https://hdl.handle.net/11104/0346391 - 2.0568283 - ÚI 2023 RIV GB eng J - Článek v odborném periodiku
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
Institucionální podpora: RVO:67985807
Klíčová slova: Godel logic * fuzzy logic * hyperarithmetical set
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1093/logcom/exac064
Trvalý link: https://hdl.handle.net/11104/0339615 - 3.0567202 - ÚI 2024 RIV US eng J - Článek v odborném periodiku
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Qualitative reasoning in a two-layered framework.
International Journal of Approximate Reasoning. Roč. 154, March 2023 (2023), s. 84-108. ISSN 0888-613X. E-ISSN 1873-4731
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Qualitative probabilities * Comparative belief * Two-layered modal logics * Gödel logic * Belnap–Dunn logic * Paraconsistent logics
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://dx.doi.org/10.1016/j.ijar.2022.12.011
Trvalý link: https://hdl.handle.net/11104/0338479 - 4.0563809 - ÚI 2024 RIV CH eng M - Část monografie knihy
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
Grant CEP: GA ČR(CZ) GA22-01137S
Institucionální podpora: RVO:67985807
Klíčová slova: Completeness * Fuzzy logic * Gödel logic * Modal logic
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
Trvalý link: https://hdl.handle.net/11104/0335600Název souboru Staženo Velikost Komentář Verze Přístup 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Autorský preprint povolen - 5.0563275 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Institucionální podpora: RVO:67985807
Klíčová slova: Godel-Dummett logic * linear temporal logic * intuitionistic logic * fuzzy logic * PSPACE-complete
Obor OECD: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-15298-6_2
Trvalý link: https://hdl.handle.net/11104/0340208 - 6.0560973 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Paraconsistent Gödel Modal Logic.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Proceedings. Cham: Springer, 2022 - (Blanchette, J.; Kovács, L.; Pattinson, D.), s. 429-448. Lecture Notes in Computer Science, 13385. ISBN 978-3-031-10768-9.
[IJCAR 2022: International Joint Conference on Automated Reasoning /11./. Haifa (IL), 08.08.2022-10.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Gödel logic * Two-dimensional logics * Modal logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0333737Název souboru Staženo Velikost Komentář Verze Přístup 0560973-aoa.pdf 3 702.2 KB OA CC BY 4.0 Vydavatelský postprint povolen - 7.0559061 - ÚI 2023 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1215/00294527-2022-0021
Trvalý link: https://hdl.handle.net/11104/0332481 - 8.0547390 - FLÚ 2022 RIV DE eng M - Část monografie knihy
Kolman, Vojtěch
“There Have to Be Crooks in This World Too”: The Speculative Logic of the Constitutive Exception.
Orientierung durch Kritik: Essays zum philosophischen Werk Pirmin Stekeler-Weithofers. Hamburg: Felix Meiner Verlag, 2021 - (Gobsch, W.; Held, J.), s. 41-58. ISBN 978-3-7873-4102-3
Institucionální podpora: RVO:67985955
Klíčová slova: constitutive exception * master and slave parable * diagonal argument * incompleteness theorem * narrative irony * Hegel * Cantor * Gödel * Wittgenstein * speculative logic * fallibility
Obor OECD: Philosophy, History and Philosophy of science and technology
https://meiner.de/orientierung-durch-kritik.html
Trvalý link: http://hdl.handle.net/11104/0323627 - 9.0547122 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Constraint Tableaux for Two-Dimensional Fuzzy Logics.
TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. Cham: Springer, 2021 - (Das, A.; Negri, S.), s. 20-37. Lecture Notes on Computer Science, 12842. ISBN 978-3-030-86058-5. ISSN 0302-9743.
[Tableaux 2021: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods /30./, co-located with FroCoS 2021: International Symposium on Frontiers of Combining Systems /13./. Birmingham / online (GB), 06.09.2021-09.09.2021]
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Lukasiewicz logic * Gödel logic * Two-dimensional logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0323453 - 10.0543508 - FLÚ 2022 RIV CH eng M - Část monografie knihy
Peregrin, Jaroslav
The Complexities of Syntax.
The Philosophy and Science of Language: Interdisciplinary Perspectives. Cham: Palgrave Macmillan, 2020 - (Nefdt, R.; Klippi, C.; Karstens, B.), s. 13-42. ISBN 978-3-030-55437-8
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: Syntax * Semantics * Rules * Carnap * Gödel * Searle
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0320703