Výsledky vyhledávání | Knihovna Akademie věd České republiky

Nalezeno záznamů: 2

Váš dotaz: Autor-kód záznamu + druh.dok = "^cav_un_auth 0348385 zm^"

Do košíku
RIV
DOI
Bookmark
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
Do košíku
RIV
DOI
Bookmark
2.
0505161 - ÚI 2020 RIV CH eng M - Část monografie knihy
Sedlár, Igor - Majer, Ondrej
Modelling sources of inconsistent information in paraconsistent modal logic.
New Essays on Belnap-Dunn Logic. Cham: Springer, 2019 - (Omori, H.; Wansing, H.), s. 293-310. Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 418. ISBN 978-3-030-31135-3
Grant CEP: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: Compatibility * Ex falso quodlibet * First degree entailment * Inconsistent information * Modal logic * Paraconsistent logic * Paraconsistent modal logic * Sources of information
Obor OECD: Pure mathematics; Philosophy, History and Philosophy of science and technology (FLU-F)
Trvalý link: http://hdl.handle.net/11104/0296660