Výsledky vyhledávání
- 1.0582839 - FLÚ 2024 RIV CH eng M - Část monografie knihy
Majer, Ondrej - Punčochář, Vít - Sedlár, Igor
Truth-Maker Semantics for Some Substructural Logics.
Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Cham: Springer, 2023 - (Faroldi, F.; Van De Putte, F.), s. 207-222. Outstanding contributions to logic, 26. ISBN 978-3-031-29414-3
Grant CEP: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11
Trvalý link: https://hdl.handle.net/11104/0351052 - 2.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