Výsledky vyhledávání
- 1.0545968 - ÚI 2022 NL eng J - Článek v odborném periodiku
Yamamoto, Kentarô
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.
Studia Logica. Roč. 109, č. 2 (2021), s. 397-421. ISSN 0039-3215. E-ISSN 1572-8730
Klíčová slova: Modal logic * Canonicity * Fine's theorem * Goldblatt-Thomason theorem * Neighborhood frames
Impakt faktor: 0.833, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0322573 - 2.0491819 - ÚI 2020 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Menchón, P. - Noguera, Carles
Toward a general frame semantics for modal many-valued logics.
Soft Computing. Roč. 23, č. 7 (2019), s. 2233-2241. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Modal many-valued logics * Mathematical fuzzy logic * Neighborhood frames * Kripke semantics * General frames
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 3.050, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s00500-018-3369-5
Trvalý link: http://hdl.handle.net/11104/0285436Název souboru Staženo Velikost Komentář Verze Přístup a0491819prep.pdf 5 379 KB Autorský preprint povolen - 3.0480886 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Neighborhood semantics for modal many-valued logics.
Fuzzy Sets and Systems. Roč. 345, 15 August (2018), s. 99-112. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR(CZ) GF15-34650L
GRANT EU: European Commission(XE) 689176 - SYSMICS
Grant ostatní: AV ČR(CZ) JSPS-16-08; Austrian Science Fund(AT) I1897-N25
Program: Bilaterální spolupráce
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8); Pure mathematics (UTIA-B)
Impakt faktor: 2.907, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0276553Název souboru Staženo Velikost Komentář Verze Přístup 0480886.pdf 10 678.4 KB GSp Autorský postprint povolen - 4.0462716 - ÚI 2017 ES eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Neighborhood Semantics for Non-Classical Logics with Modalities.
SYSMICS 2016. Syntax Meets Semantics. Booklet of Abstracts. Barcelona, 2016 - (Spada, L.). s. 56-57
[SYSMICS 2016. Syntax Meets Semantics. 05.09.2016-09.09.2016, Barcelona]
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0262102Název souboru Staženo Velikost Komentář Verze Přístup a0462716.pdf 1 1.1 MB Vydavatelský postprint povolen - 5.0460686 - ÚI 2017 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles - Roger, J.
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Vol. 2. Cham: Springer, 2016 - (Carvalho, J.; Lesot, M.; Kaymak, U.; Vieira, S.; Bouchon-Meunier, B.; Yager, R.), s. 95-107. Communications in Computer and Information Science, 611. ISBN 978-3-319-40581-0. ISSN 1865-0929. E-ISSN 1865-0937.
[IPMU 2016 /16./. Eindhoven (NL), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GF15-34650L
Grant ostatní: Austrian Science Fund(AT) I1897-N25
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * modal fuzzy logics * neighborhood frames * Kripke semantics * many-valued logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0260702Název souboru Staženo Velikost Komentář Verze Přístup 0460686.pdf 1 1.2 MB Autorský preprint povolen a0460686.pdf 2 218.9 KB Vydavatelský postprint vyžádat