Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.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 - 6.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 - 7.0525276 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Rodriguez, R. O. - Vidal, Amanda
Axiomatization of Crisp Gödel Modal Logic.
Studia Logica. Roč. 109, č. 2 (2021), s. 367-395. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: Modal many-valued logics * Axiomatic systems * Gödel logic * Modal Gödel logic * Lattice-valued Kripke semantics
Obor OECD: Pure mathematics
Impakt faktor: 0.833, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-020-09910-5
Trvalý link: http://hdl.handle.net/11104/0309456 - 8.0405601 - UIVT-O 330981 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
A Non-Arithmetical Gödel Logic.
[Nearitmetická Gödelova logika.]
Logic Journal of the IGPL. Roč. 13, č. 4 (2005), s. 435-441. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logic * Gödel logic * arithmetical hierarchy
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.382, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125752 - 9.0405251 - UIVT-O 330485 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
Two Notions of Compactness in Gödel Logics.
[Dva pojmy kompaktnosti v Gödelových logikách.]
Studia Logica. Roč. 81, č. 1 (2005), s. 99-123. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: logic * Gödel logic * compactness * entailment * satisfiability
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125434Název souboru Staženo Velikost Komentář Verze Přístup 0405251.pdf 9 753 KB Autorský preprint povolen - 10.0405077 - UIVT-O 20030169 ES eng A - Abstrakt
Cintula, Petr
Two Notations of Compactness in Gödel Logics.
Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science. Abstracts. Oviedo: Universidad de Oviedo, 2003 - (Álvarez, E.; Bosch, R.; Villamil, L.). s. 88. ISBN 600-9913-X.
[International Congress of Logic, Methodology and Philosophy of Science /12./. 07.08.2003-13.08.2003, Oviedo]
Grant CEP: GA AV ČR IAA1030004
Výzkumný záměr: AV0Z1030915
Klíčová slova: compactness * Godel logic * Godel involutive logic
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125292