Search results
- 1.0562694 - FLÚ 2023 RIV GB eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : logic * philosophical logic * mathematical logic * philosophy of language * philosophy of logic * history of logic
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/logica/?00035
Permanent Link: https://hdl.handle.net/11104/0335340 - 2.0562689 - FLÚ 2023 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2022.
[Teplá, 11.09.2022-15.09.2022, (K-WRD 59/19)]
Institutional support: RVO:67985955
Keywords : philosophical logic * logic * mathematical logic * philosophy of language * history of logic * philosophy of logic
OECD category: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/en/events/logica/23-dokumenty/575-logica-2024
Permanent Link: https://hdl.handle.net/11104/0335226 - 3.0556098 - ÚTIA 2023 RIV CH eng B - Monography
Csirmaz, Laszlo - Gyenis, Z.
Mathematical Logic : Exercises and Solutions.
Cham: Springer, 2022. 319 s. Problem Books in Mathematics. ISBN 978-3-030-79009-7
R&D Projects: GA ČR(CZ) GA19-04579S
Grant - others:Narodowe Centrum Nauki(PL) 2019/34/E/HS1/00044
Institutional support: RVO:67985556
Keywords : mathematical logic * formal logic * first-order logic * propositional calculus * predicate calculus * Goedel's theorem * Peano axiom system * recursion theory * ultraproducts * problem solving
OECD category: Pure mathematics
http://library.utia.cas.cz/separaty/2022/MTR/csirmaz-0556098.pdf
Permanent Link: http://hdl.handle.net/11104/0330493 - 4.0548622 - FLÚ 2022 RIV GB eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : logic * philosophical logic * mathematical logic * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0324717 - 5.0536174 - FLÚ 2021 RIV GB eng G - Proceedings (international conference)
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]
Institutional support: RVO:67985955
Keywords : philosophical logic * mathematical logic * philosophy of mathematics * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0315139 - 6.0522505 - MÚ 2020 RIV eng U - Conference, Workshop Arrangement
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)]
Institutional support: RVO:67985840 ; RVO:67985807
Keywords : mathematical logic
OECD category: Pure mathematics; Pure mathematics (UIVT-O)
https://lc2019.cz/
Permanent Link: http://hdl.handle.net/11104/0306989 - 7.0517158 - FLÚ 2020 RIV GB eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : philosophical logic * mathematical logic * philosophy of mathematics * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0302444 - 8.0496697 - FLÚ 2019 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : intensionality * mathematical logic * Gödel’s theorems * possible worlds
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0289834 - 9.0456390 - ÚI 2016 RIV GB eng B - Monography
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
R&D Projects: GA ČR(CZ) GF15-34650L
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : mathematical fuzzy logic * handbook * non-classical logic * mathematical logic * vagueness
Subject RIV: BA - General Mathematics
http://aleph.lib.cas.cz/F/?func=direct&doc_number=002008216&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0256924 - 10.0442138 - ÚJČ 2015 CZ cze T - Translation
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
Keywords : 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
Subject RIV: AI - Linguistics
Permanent Link: http://hdl.handle.net/11104/0245158