Výsledky vyhledávání
- 1.0573620 - FLÚ 2024 RIV US eng J - Článek v odborném periodiku
Klev, Ansten
Spiritus asper versus lambda. On the nature of functional abstraction.
Notre Dame Journal of Formal Logic. Roč. 64, č. 2 (2023), s. 205-223. ISSN 0029-4527. E-ISSN 1939-0726
Grant ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: functional abstraction * type theory * Gottlob Frege
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1215/00294527-10670089
Trvalý link: https://hdl.handle.net/11104/0344218 - 2.0560276 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
On the proof complexity of logics of bounded branching.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * modal logic * intermediate logic * extended Frege system
Obor OECD: Pure mathematics
Impakt faktor: 0.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103181
Trvalý link: https://hdl.handle.net/11104/0333265Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 0 789.5 KB Vydavatelský postprint vyžádat - 3.0559510 - MÚ 2023 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Khaniki, Erfan
Nisan-Wigderson generators in proof complexity: New lower bounds.
37th Computational Complexity Conference (CCC 2022). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2022 - (Lovett, S.), s. 1-15, č. článku 17. Leibniz International Proceedings in Informatics, 234. ISBN 978-3-95977-241-9. ISSN 1868-8969.
[37th Computational Complexity Conference (CCC 2022). Philadelphia (US), 20.07.2022-23.07.2022]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * bounded arithmetic * bounded depth Frege * Nisan-Wigderson generators
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.4230/LIPIcs.CCC.2022.17
Trvalý link: https://hdl.handle.net/11104/0332787Název souboru Staženo Velikost Komentář Verze Přístup Khaniki1.pdf 2 703.9 KB Vydavatelský postprint povolen - 4.0544821 - FLÚ 2022 SK eng R - Recenze
Peregrin, Jaroslav
[Review].
[SHIEH, Sanford.: Necessity Lost: Modality and Logic in Early Analytic Philosophy, Vol. 1. Oxford: Oxford University Press, 2019, 441 s.]. Organon F. Veda - vydavatel'stvo SAV. Roč. 28, č. 2 (2021), s. 492-495. ISSN 1335-0668
Institucionální podpora: RVO:67985955
Klíčová slova: logic * modality * Frege * Russell
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.31577/orgf.2021.28210
Trvalý link: http://hdl.handle.net/11104/0321764 - 5.0544080 - FLÚ 2022 RIV GB eng J - Článek v odborném periodiku
Bertran-San Millán, Joan
Lingua characterica and calculus ratiocinator: The Leibnizian background of the Frege-Schröder polemic.
Review of Symbolic Logic. Roč. 14, č. 2 (2021), s. 411-446. ISSN 1755-0203. E-ISSN 1755-0211
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Schröder * Leibniz * lingua characterica * calculus ratiocinator * concept-script * algebra of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.217, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1017/S175502031900025X
Trvalý link: http://hdl.handle.net/11104/0321141 - 6.0542990 - FLÚ 2022 RIV CH eng J - Článek v odborném periodiku
Vlasáková, Marta
What is identical?
Logica Universalis. Roč. 15, č. 2 (2021), s. 153-170. ISSN 1661-8297. E-ISSN 1661-8300
Grant CEP: GA ČR(CZ) GA20-18675S
Institucionální podpora: RVO:67985955
Klíčová slova: Identity * logical form of identity statements * Frege * Leibniz * singular concepts
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.463, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11787-021-00272-7
Trvalý link: http://hdl.handle.net/11104/0320307 - 7.0542962 - FLÚ 2022 RIV FR eng J - Článek v odborném periodiku
Bertran-San Millán, Joan
Frege, Peano and the Interplay between Logic and Mathematics.
Philosophia Scientiae. Roč. 25, č. 1 (2021), s. 15-34. ISSN 1281-2463
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Peano * Symbolisation * Formalisation * Concept-script
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://doi.org/10.4000/philosophiascientiae.2831
Trvalý link: http://hdl.handle.net/11104/0320279 - 8.0542961 - FLÚ 2022 RIV BE eng J - Článek v odborném periodiku
Bertran-San Millán, Joan
Frege, Peano and the Construction of a Logical Calculus.
Logique et Analyse. -, č. 253 (2021), s. 3-22. ISSN 0024-5836
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Peano * inference * deduction * logical calculus
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
http://doi.org/10.2143/LEA.253.0.3289334
Trvalý link: http://hdl.handle.net/11104/0320343 - 9.0536960 - FLÚ 2021 RIV ES eng J - Článek v odborném periodiku
Bertran-San Millán, Joan
Frege’s Intellectual Life As a Logicist Project.
Teorema. Roč. 39, č. 2 (2020), s. 127-138. ISSN 0210-1602
Grant ostatní: AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * Jacquette * Begriffsschrift * Grundlagen * Grundgesetze
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Open access
https://dialnet.unirioja.es/servlet/articulo?codigo=7449301
Trvalý link: http://hdl.handle.net/11104/0314712Název souboru Staženo Velikost Komentář Verze Přístup 2020_J_0536960.pdf 0 253.5 KB Vydavatelský postprint povolen - 10.0535481 - FLÚ 2021 GB eng R - Recenze
Klev, Ansten
[Review].
[(a) WILLE, Matthias. “alles in den Wind geschrieben”. Paderborn, 2020, 344 s. (b) WILLE, Matthias. Largely unknown. Paderborn, 2016, 243 s.]. Philosophia Mathematica. Oxford University Press. Roč. 28, č. 3 (2020), s. 426-430. ISSN 0031-8019. E-ISSN 1744-6406
Institucionální podpora: RVO:67985955
Klíčová slova: Frege * history of logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Způsob publikování: Omezený přístup
https://doi.org/10.1093/philmat/nkaa022
Trvalý link: http://hdl.handle.net/11104/0313492