Search results
- 1.0550967 - ÚI 2023 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : Finite Embeddability Property * Residuated Lattices * Regular Languages
OECD category: Pure mathematics
http://dx.doi.org/10.1007/978-3-030-76920-8_7
Permanent Link: http://hdl.handle.net/11104/0326248 - 2.0505161 - ÚI 2020 RIV CH eng M - Monography Chapter
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
R&D Projects: GA ČR GBP202/12/G061; GA ČR(CZ) GC16-07954J
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : Compatibility * Ex falso quodlibet * First degree entailment * Inconsistent information * Modal logic * Paraconsistent logic * Paraconsistent modal logic * Sources of information
OECD category: Pure mathematics; Philosophy, History and Philosophy of science and technology (FLU-F)
Permanent Link: http://hdl.handle.net/11104/0296660 - 3.0428796 - MÚ 2015 RIV GB eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : axiom of foundation * elementary embedding
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0234068File Download Size Commentary Version Access Jerabek.pdf 1 5.7 MB Author´s preprint open-access