Výsledky vyhledávání
- 1.0568941 - FLÚ 2023 RIV US cze J - Článek v odborném periodiku
Sousedík, Prokop
Zavádění předmětů v Aristotelismu. Jsou předměty vědy abstraktní, nebo relační?
[Introducing objects in Aristotelianism. Are the objects of science abstract or relational?]
Studia Neoaristotelica. Roč. 19, č. 4 (2022), s. 35-59. ISSN 1214-8407. E-ISSN 1804-6843
Grant CEP: GA ČR(CZ) GA18-05838S
Institucionální podpora: RVO:67985955
Klíčová slova: Aristotelian science * Kripke * Aristotle
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.1, rok: 2022
Způsob publikování: Open access
https://doi.org/10.5840/studneoar20221946
Trvalý link: https://hdl.handle.net/11104/0341073 - 2.0553323 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Khaniki, Erfan
Not all Kripke models of HA are locally PA.
Advances in Mathematics. Roč. 397, March (2022), č. článku 108126. ISSN 0001-8708. E-ISSN 1090-2082
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: Heyting Arithmetic * Kripke models * Local models * PA-normal
Obor OECD: Pure mathematics
Impakt faktor: 1.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.aim.2021.108126
Trvalý link: http://hdl.handle.net/11104/0328281Název souboru Staženo Velikost Komentář Verze Přístup Khaniki.pdf 2 392.9 KB Vydavatelský postprint vyžádat - 3.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 - 4.0500226 - ÚI 2019 RIV FR eng J - Článek v odborném periodiku
Běhounek, L. - Majer, Ondrej
Fuzzy intensional semantics.
Journal of Applied Non-Classical Logics. Roč. 28, č. 4 (2018), s. 348-388. ISSN 1166-3081
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT LQ1602
Institucionální podpora: RVO:67985807
Klíčová slova: Fuzzy logic * higher-order logic * intensional semantics * Kripke semantics * modal logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0292336 - 5.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 - 6.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 - 7.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 - 8.0460804 - FLÚ 2017 RIV NL eng J - Článek v odborném periodiku
Punčochář, Vít
A Generalization of Inquisitive Semantics.
Journal of Philosophical Logic. Roč. 45, č. 4 (2016), s. 399-428. ISSN 0022-3611
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: Intuitionistic logic * Superintuitionistic logics * Inquisitive logic * Topological semantics * Kripke semantics * Disjunction
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0260798 - 9.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 - 10.0431413 - ÚI 2015 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Cintula, Petr - Noguera, Carles
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem.
Logic, Language, Information, and Computation. Heidelberg: Springer, 2014 - (Kohlenbach, U.; Barceló, P.; de Queiroz, R.), s. 124-136. Lecture Notes in Computer Science, 8652. ISBN 978-3-662-44144-2. ISSN 0302-9743.
[WoLLIC 2014. International Conference /21./. Valparaíso (CL), 01.09.2014-04.09.2014]
Grant CEP: GA ČR GAP202/10/1826
GRANT EU: European Commission(XE) 247584 - MATOMUVI
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: two-level modal logic * logics of uncertainty * theory of probability * weakly implicative logics * Kripke frames
Kód oboru RIV: BA - Obecná matematika; BB - Aplikovaná statistika, operační výzkum (UTIA-B)
Trvalý link: http://hdl.handle.net/11104/0235975Název souboru Staženo Velikost Komentář Verze Přístup 0431413.pdf 8 880.5 KB Autorský preprint povolen a0431413.pdf 2 282.6 KB Vydavatelský postprint vyžádat