Search results
- 1.0575735 - FLÚ 2024 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2023.
[Teplá, 18.06.2023-22.06.2023, (K-WRD 42/29)]
Institutional support: RVO:67985955
Keywords : logic * philosophy * mathematics
OECD category: Philosophy, History and Philosophy of science and technology
https://logika.flu.cas.cz/en/23-dokumenty/588-logica-2026
Permanent Link: https://hdl.handle.net/11104/0347041 - 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.0547112 - FLÚ 2022 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2021.
[Hejnice, 27.09.2021-01.10.2021, (K-WRD 42/32)]
R&D Projects: GA ČR(CZ) GA20-18675S
Institutional support: RVO:67985955
Keywords : philosophical logic * philosophy of mathematics * philosophy of language
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0323444 - 4.0522756 - FLÚ 2020 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2019.
[Hejnice, 24.06.2019-28.06.2019, (K-WRD 46/27)]
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0307199 - 5.0522755 - FLÚ 2020 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2018.
[Hejnice, 18.06.2018-22.06.2018, (K-WRD 46/25)]
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0307198 - 6.0483432 - FLÚ 2018 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2017.
[Hejnice, 19.06.2017-23.06.2017, (K-WRD 37/25)]
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0278752 - 7.0466495 - FLÚ 2017 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2016.
[Hejnice, 20.06.2016-24.06.2016, (K-WRD 51/28)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0264999 - 8.0445170 - FLÚ 2016 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2015.
[Hejnice, 15.06.2015-19.06.2015, (K-WRD 51/29)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of mathematics * philosophy of science * formal linguistics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0247575 - 9.0436565 - FLÚ 2015 RIV eng U - Conference, Workshop Arrangement
Svoboda, Vladimír - Punčochář, Vít
International Symposium LOGICA 2014.
[Hejnice, 16.06.2014-20.06.2014, (K-WRD 57/36)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of mathematic * formal linguistics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240267 - 10.0396388 - FLÚ 2014 RIV eng U - Conference, Workshop Arrangement
Svoboda, Vladimír - Punčochář, Vít
International Symposium LOGICA 2013.
[Hejnice, 17.06.2013-21.06.2013, (K-WRD 59/37)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0224227