Search results
- 1.0582839 - FLÚ 2024 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR(CZ) GC16-07954J; GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : Kit Fine * exact truthmaker semantics * substructural loigcs * Lambek calculus
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-29415-0_11
Permanent Link: https://hdl.handle.net/11104/0351052 - 2.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