Výsledky vyhledávání
- 1.0549035 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Hanke, Miroslav
The Logic of Impossible Scenarios in Hurtado de Mendoza’s Tractatus de Trinitate.
Vivarium. Roč. 59, č. 4 (2021), s. 324-359. ISSN 0042-7543
Grant CEP: GA ČR(CZ) GA20-05855S
Institucionální podpora: RVO:67985955
Klíčová slova: Puente Hurtado de Mendoza * second scholasticism * thought experiments * non-classical logic * counterfactual Filioque debate
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1163/15685349-05904003
Trvalý link: http://hdl.handle.net/11104/0325075 - 2.0547241 - ÚI 2022 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Sedlár, Igor - Tedder, Andrew
Situated Epistemic Updates.
Logic, Rationality, and Interaction. 8th International Workshop, LORI 2021, Proceedings. Cham: Springer, 2021 - (Ghosh, S.; Icard, T.), s. 192-200. Lecture Notes in Computer Science, 13039. ISBN 978-3-030-88707-0. ISSN 0302-9743.
[LORI 2021: Logic, Rationality, and Interaction /8./. Xi'an (CN), 16.10.2021-18.10.2021]
Grant CEP: GA ČR(CZ) GJ18-19162Y
Institucionální podpora: RVO:67985807
Klíčová slova: Epistemic update * Public announcement logic * Relevant logic * Non-classical logic
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0323526 - 3.0512111 - ÚI 2020 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Cintula, Petr (ed.) - Weber, Z. (ed.) - Ju, S. (ed.)
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”.
239 s. In: Logic Journal of the IGPL. Oxford University Press. Roč. 27, č. 4 (2019), s. 385-623. ISSN 1367-0751. E-ISSN 1368-9894.
[NCMPL 2017. Non-Classical Modal and Predicate Logics /9./. Guangzhou (CN), 04.12.2017-07.12.2017]
Institucionální podpora: RVO:67985807
Klíčová slova: Non-classical logic * modal logic * predicate logics
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0302318 - 4.0456390 - ÚI 2016 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Fermüller, C. (ed.) - Noguera, Carles (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 3.
London: College Publications, 2015. 384 s. Studies in Logic - Mathematical Logic and Foundations, 58. ISBN 978-1-84890-193-3
Grant CEP: GA ČR(CZ) GF15-34650L
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0256924 - 5.0374837 - ÚI 2012 RIV eng U - Uspořádání akce
Cintula, Petr - Ju, S.
NCMPL 2011. Non-Classical Modal and Predicate Logics.
[Guangzhou, 05.12.2011-09.12.2011, (K-WRD 92/42)]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Kód oboru RIV: BA - Obecná matematika
http://logic.sysu.edu.cn/ncmpl2011/
Trvalý link: http://hdl.handle.net/11104/0207659 - 6.0374836 - ÚI 2012 RIV CZ eng G - Konferenční sborník (zahraniční konf.)
Cintula, Petr (ed.) - Ju, S. (ed.) - Víta, Martin (ed.)
NCMPL 2011 Abstracts.
Prague: F solutions, 2011. 145 s. ISBN 987-80-87465-00-4.
[NCMPL 2011. Non-Classical Modal and Predicate Logics. Guangzhou (CN), 05.12.2011-09.12.2011]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: non-classical logic * predicate logic * modal logic * intuitionistic logic * substructural logic * relevant logic * fuzzy logic * non-classical mathematics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0207658Název souboru Staženo Velikost Komentář Verze Přístup 0374836.pdf 6 1.4 MB Vydavatelský postprint povolen - 7.0373003 - ÚI 2012 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Hájek, Petr (ed.) - Noguera, C. (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 2.
London: College Publications, 2011. 480 s. Studies in Logic - Mathematical Logic and Foundations, 38. ISBN 978-1-84890-054-7
Grant CEP: GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000961931&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0206180 - 8.0373002 - ÚI 2012 RIV GB eng B - Monografie kniha jako celek
Cintula, Petr (ed.) - Hájek, Petr (ed.) - Noguera, C. (ed.)
Handbook of Mathematical Fuzzy Logic - Vol. 1.
London: College Publications, 2011. 492 s. Studies in Logic - Mathematical Logic and Foundations, 37. ISBN 978-1-84890-039-4
Grant CEP: GA ČR GAP202/10/1826; GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: mathematical fuzzy logic * handbook * non-classical logic * mathematical logic
Kód oboru RIV: BA - Obecná matematika
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000961924&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0206179Název souboru Staženo Velikost Komentář Verze Přístup Jen-v-UI-ICS-only.pdf 3 353.1 KB Jiná povolen - 9.0101239 - FLU-F 20040098 RIV CZ cze B - Monografie kniha jako celek
Peregrin, Jaroslav
Logika a logiky. Systém klasické výrokové logiky, jeho rozšíření a alternativy.
[Logic and logics. The system of classical propositional logic, its extensions and alternatives.]
Praha: Academia, 2004. 205 s. ISBN 80-200-1187-0
Grant CEP: GA AV ČR IAA0009001
Výzkumný záměr: CEZ:AV0Z9009908
Klíčová slova: non-classical logic * propositional calculus
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0008676 - 10.0045161 - ÚI 2007 RIV GB eng J - Článek v odborném periodiku
Savický, Petr - Cignoli, R. - Esteva, F. - Godo, L. - Noguera, C.
On Product Logic with Truth-Constants.
[O produktové logice s pravdivostními konstantami.]
Journal of Logic and Computation. Roč. 16, č. 2 (2006), s. 205-225. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA MŠMT 1M0545
Klíčová slova: non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.840, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0137779Název souboru Staženo Velikost Komentář Verze Přístup 0045161.pdf 0 427 KB Autorský preprint povolen