Výsledky vyhledávání
- 1.0547136 - ÚI 2022 US eng J - Článek v odborném periodiku
Fernández-Duque, David - Hermo Reyes, E.
Deducibility and independence in Beklemishev's autonomous provability calculus.
Information and Computation. (2021), č. článku 104758. ISSN 0890-5401. E-ISSN 1090-2651
Klíčová slova: Ordinal analysis * Proof theory * Provability logic
Impakt faktor: 1.240, rok: 2021
Trvalý link: http://hdl.handle.net/11104/0323461 - 2.0535279 - FLÚ 2021 RIV CH eng J - Článek v odborném periodiku
Pezlar, Ivo
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. ISSN 1661-8297. E-ISSN 1661-8300
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 0.385, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11787-020-00260-3
Trvalý link: http://hdl.handle.net/11104/0313350 - 3.0508229 - ÚI 2020 NL eng A - Abstrakt
Bílková, Marta
On infinitary proof theory of logics of information and common belief.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institucionální podpora: RVO:67985807
Klíčová slova: proof theory * logic
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/05/Marta-Bilkova.pdf
Trvalý link: http://hdl.handle.net/11104/0299198Název souboru Staženo Velikost Komentář Verze Přístup 0508229-aw.pdf 0 60.3 KB volně online Vydavatelský postprint povolen - 4.0497856 - ÚI 2019 GB eng J - Článek v odborném periodiku
Bílková, Marta - Greco, G. - Palmigiano, A. - Tzimoulis, A. - Wijnberg, N.
The Logic of Resources and Capabilities.
Review of Symbolic Logic. Roč. 11, č. 2 (2018), s. 371-410. ISSN 1755-0203. E-ISSN 1755-0211
Klíčová slova: dynamic epistemic logic * modal logic * algorithmic correspondence * sahlqvist theory * proof theory * calculus * canonicity * semantics * property * ability * display calculus * logics for organizations * multitype calculus * algebraic proof theory
Impakt faktor: 0.731, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0290334 - 5.0494399 - FLÚ 2019 CZ eng D - Dizertace
Arazim, Pavel
Logical Pluralism from Historical Perspective.
Katedra logiky FF UK. Obhájeno: Celetná 20, Praha 1. 04.06.2018. - Praha: Katedra logiky FF UK, 2018. 185 s.
Institucionální podpora: RVO:67985955
Klíčová slova: logical pluralism * Kant's epistemology * demarcation of logic * model-theory * proof-theory * inferentialism * logical expressivism * logical dynamism
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0288424 - 6.0483813 - ÚI 2019 CZ eng A - Abstrakt
Tzimoulis, A. - Bílková, Marta - Greco, G. - Palmigiano, A. - Wijnberg, N.
The Logic of Resources and Capabilities.
Tacl - Abstracts. Prague: Institute of Computer Science, Czech Academy of Sciences & Faculty of Arts, Charles University, 2017.
[TACL 2017. Topology, Algebra and Categories in Logic. 26.06.2017-30.06.2017, Prague]
Klíčová slova: display calculus * logics for organizations * multi-type calculus * algebraic proof theory
Kód oboru RIV: BA - Obecná matematika
http://www.cs.cas.cz/tacl2017/list_abstracts.html
Trvalý link: http://hdl.handle.net/11104/0278986 - 7.0481649 - FLÚ 2018 RIV CH eng J - Článek v odborném periodiku
Arazim, Pavel
Expressivist Perspective on Logicality.
Logica Universalis. Roč. 11, č. 4 (2017), s. 409-419. ISSN 1661-8297. E-ISSN 1661-8300
Grant CEP: GA ČR(CZ) GA17-15645S
Institucionální podpora: RVO:67985955
Klíčová slova: logical constant * expressivism * topic-neutrality * proof-theory * conservativity
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0277174 - 8.0480623 - FLÚ 2018 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Arazim, Pavel (ed.) - Lávička, Tomáš (ed.)
The Logica Yearbook 2016.
Milton Keynes: College Publications, 2017. 316 s. ISBN 978-1-84890-243-5.
[Logica 2016. Hejnice (CZ), 20.06.2016-24.06.2016]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: proceedings * logic * proof-theory * history of logic * modal logics
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0276667 - 9.0468070 - FLÚ 2017 RIV GB eng G - Konferenční sborník (zahraniční konf.)
Arazim, Pavel (ed.) - Dančák, M. (ed.)
The logica yearbook 2015.
London: College Publications, 2016. 221 s. ISBN 978-1-84890-213-8.
[Logica 2015. Hejnice (CZ), 15.06.2015-19.06.2015]
Grant CEP: GA ČR(CZ) GA13-21076S
Institucionální podpora: RVO:67985955
Klíčová slova: conference proceedings * philosophical logic * analytical philosophy * paradoxes * proof theory
Kód oboru RIV: AA - Filosofie a náboženství
Trvalý link: http://hdl.handle.net/11104/0265964 - 10.0464469 - FLÚ 2017 RIV SE eng J - Článek v odborném periodiku
Klev, Ansten
A proof-theoretic account of the miners paradox.
Theoria. Roč. 82, č. 4 (2016), s. 351-369. ISSN 1755-2567
Institucionální podpora: RVO:67985955
Klíčová slova: miners paradox * proof theory * Ramsey conditionals * Fitch's Paradox
Kód oboru RIV: AA - Filosofie a náboženství
http://onlinelibrary.wiley.com/doi/10.1111/theo.12090/full
Trvalý link: http://hdl.handle.net/11104/0264882