Výsledky vyhledávání
- 1.0562694 - FLÚ 2023 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Sedlár, Igor (ed.)
The Logica Yearbook 2021.
London: College Publications, 2022. 184 s. ISBN 978-1-84890-414-9.
[Logica 2021. Hejnice (CZ), 27.09.2022-01.10.2022]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: logic * philosophical logic * mathematical logic * philosophy of language * philosophy of logic * history of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00035
Trvalý link: https://hdl.handle.net/11104/0335340 - 2.0562689 - FLÚ 2023 eng U - Uspořádání akce
Punčochář, Vít - Sedlár, Igor
Logica 2022.
[Teplá, 11.09.2022-15.09.2022, (K-WRD 59/19)]
Institucionální podpora: RVO:67985955
Klíčová slova: philosophical logic * logic * mathematical logic * philosophy of language * history of logic * philosophy of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/en/events/logica/23-dokumenty/575-logica-2024
Trvalý link: https://hdl.handle.net/11104/0335226 - 3.0556098 - ÚTIA 2023 RIV CH eng B - Monografie kniha jako celek
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
Grant CEP: GA ČR(CZ) GA19-04579S
Grant ostatní: Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institucionální podpora: RVO:67985556
Klíčová slova: mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
Obor OECD: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Trvalý link: http://hdl.handle.net/11104/0330493 - 4.0548622 - FLÚ 2022 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Blicha, M. (ed.) - Sedlár, Igor (ed.)
The Logica Yearbook 2020.
London: College Publications, 2021. 269 s. ISBN 978-1-84890-376-0.
[Logica 2020. Hejnice (CZ), 15.06.2020-19.06.2020]
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: logic * philosophical logic * mathematical logic * philosophy of language
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0324717 - 5.0536174 - FLÚ 2021 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Sedlár, Igor (ed.) - Blicha, M. (ed.)
The Logica Yearbook 2019.
London: College Publications, 2020. 231 s. ISBN 978-1-84890-327-2.
[Logica 2019. Hejnice (CZ), 24.06.2019-28.06.2019]
Institucionální podpora: RVO:67985955
Klíčová slova: philosophical logic * mathematical logic * philosophy of mathematics * philosophy of language
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0315139 - 6.0522505 - MÚ 2020 RIV eng U - Uspořádání akce
Chodounský, David - Verner, J. - Cintula, Petr - Honzík, R. - Hubička, J. - Pudlák, Pavel - Starý, J. - Stejskalová, Šárka - Thapen, Neil
Logic Colloquium 2019.
[Prague, 11.08.2019-16.08.2019, (K-WRD 230/198)]
Institucionální podpora: RVO:67985840 ; RVO:67985807
Klíčová slova: mathematical logic
Obor OECD: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Trvalý link: http://hdl.handle.net/11104/0306989 - 7.0517158 - FLÚ 2020 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Sedlár, Igor (ed.) - Blicha, M. (ed.)
The Logica Yearbook 2018.
London: College Publications, 2019. 244 s. ISBN 978-1-84890-307-4.
[Logica 2018. Hejnice (CZ), 18.06.2018-22.06.2018]
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: philosophical logic * mathematical logic * philosophy of mathematics * philosophy of language
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0302444 - 8.0496697 - FLÚ 2019 RIV CH eng M - Část monografie knihy
Peregrin, Jaroslav
Intensionality in Mathematics.
Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics. Cham: Springer, 2018 - (Piazza, M.; Pulcini, G.), s. 57-70. Boston Studies in the Philosophy and History of Science, 334. ISBN 978-3-319-93341-2
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: intensionality * mathematical logic * Gödel’s theorems * possible worlds
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0289834 - 9.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 - 10.0442138 - ÚJČ 2015 CZ cze T - Překlad
Beneš, Martin
Procedurální model jazyka: Lingvistika z pohledu teorie modelů empirických věd.
[Procedural Model of language: Linguistics from the Perspective of the Theory of Models in Empirical Sciences.]
[ZIELIŃSKA, D.: Proceduralny model języka]. - Olomouc: Univerzita Palackého, 2014. ISBN 978-80-244-4363-8
Klíčová slova: model of language * epistemology * theory of models * theory of models in empirical sciences * theory of models in mathematical logic * selective function of language * communicative field
Kód oboru RIV: AI - Jazykověda
Trvalý link: http://hdl.handle.net/11104/0245158