Výsledky vyhledávání
- 1.0550967 - ÚI 2023 RIV CH eng M - Část monografie knihy
Horčík, Rostislav
Finite Embeddability Property for Residuated Lattices via Regular Languages.
Hiroakira Ono on Substructural Logics. Cham: Springer, 2022 - (Galatos, N.; Terui, K.), s. 273-298. Outstanding Contributions to Logic, 23. ISBN 978-3-030-76919-2
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: Finite Embeddability Property * Residuated Lattices * Regular Languages
Obor OECD: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Trvalý link: http://hdl.handle.net/11104/0326248 - 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 - 3.0428796 - MÚ 2015 RIV GB eng M - Část monografie knihy
Daghighi, A.S. - Golshani, M. - Hamkins, J.D. - Jeřábek, Emil
The foundation axiom and elementary self-embeddings of the universe.
Infinity, Computability and Metamathematics. 1. London: College Publications, 2014 - (Geschke, S.; Löwe, B.; Schlicht, P.), s. 89-112. Tributes, 23. ISBN 978-1-84890-130-8
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: axiom of foundation * elementary embedding
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0234068Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 5.7 MB Autorský preprint povolen