Search results
- 1.0547136 - ÚI 2022 US eng J - Journal Article
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
Keywords : Ordinal analysis * Proof theory * Provability logic
Impact factor: 1.240, year: 2021
Permanent Link: http://hdl.handle.net/11104/0323461 - 2.0535279 - FLÚ 2021 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : General proof theory * propositions as types * Curry–Howard isomorphism * constructive type theory * categorial proof theory * Cut rule * composition of deduction
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.385, year: 2020
Method of publishing: Limited access
https://doi.org/10.1007/s11787-020-00260-3
Permanent Link: http://hdl.handle.net/11104/0313350 - 3.0508229 - ÚI 2020 NL eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : proof theory * logic
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/05/Marta-Bilkova.pdf
Permanent Link: http://hdl.handle.net/11104/0299198File Download Size Commentary Version Access 0508229-aw.pdf 0 60.3 KB volně online Publisher’s postprint open-access - 4.0497856 - ÚI 2019 GB eng J - Journal Article
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
Keywords : 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
Impact factor: 0.731, year: 2018
Permanent Link: http://hdl.handle.net/11104/0290334 - 5.0494399 - FLÚ 2019 CZ eng D - Thesis
Arazim, Pavel
Logical Pluralism from Historical Perspective.
Katedra logiky FF UK. Defended: Celetná 20, Praha 1. 04.06.2018. - Praha: Katedra logiky FF UK, 2018. 185 s.
Institutional support: RVO:67985955
Keywords : logical pluralism * Kant's epistemology * demarcation of logic * model-theory * proof-theory * inferentialism * logical expressivism * logical dynamism
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0288424 - 6.0483813 - ÚI 2019 CZ eng A - Abstract
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]
Keywords : display calculus * logics for organizations * multi-type calculus * algebraic proof theory
Subject RIV: BA - General Mathematics
http://www.cs.cas.cz/tacl2017/list_abstracts.html
Permanent Link: http://hdl.handle.net/11104/0278986 - 7.0481649 - FLÚ 2018 RIV CH eng J - Journal Article
Arazim, Pavel
Expressivist Perspective on Logicality.
Logica Universalis. Roč. 11, č. 4 (2017), s. 409-419. ISSN 1661-8297. E-ISSN 1661-8300
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : logical constant * expressivism * topic-neutrality * proof-theory * conservativity
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0277174 - 8.0480623 - FLÚ 2018 RIV GB eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : proceedings * logic * proof-theory * history of logic * modal logics
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0276667 - 9.0468070 - FLÚ 2017 RIV GB eng G - Proceedings (international conference)
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]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : conference proceedings * philosophical logic * analytical philosophy * paradoxes * proof theory
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0265964 - 10.0464469 - FLÚ 2017 RIV SE eng J - Journal Article
Klev, Ansten
A proof-theoretic account of the miners paradox.
Theoria. Roč. 82, č. 4 (2016), s. 351-369. ISSN 1755-2567
Institutional support: RVO:67985955
Keywords : miners paradox * proof theory * Ramsey conditionals * Fitch's Paradox
Subject RIV: AA - Philosophy ; Religion
http://onlinelibrary.wiley.com/doi/10.1111/theo.12090/full
Permanent Link: http://hdl.handle.net/11104/0264882