Výsledky vyhledávání
- 1.0505928 - MÚ 2020 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Jalali Keshavarz, Raheleh
An exponential lower bound for proofs in focused calculi.
Logic, Language, Information, and Computation. Berlin: Springer, 2019 - (Iemhoff, R.; Moortgat, M.; de Queiroz, R.), s. 342-355. Lecture Notes in Computer Science, 11541. ISBN 978-3-662-59532-9. ISSN 0302-9743.
[26th International Workshop, WoLLIC 2019. Utrecht (NL), 02.07.2019-05.07.2019]
Grant CEP: GA ČR(CZ) GA19-05497S
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: focused calculi * propositional proof complexity * feasible interpolation * super-intuitionistic logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007/978-3-662-59533-6_21
Trvalý link: http://hdl.handle.net/11104/0297260Název souboru Staženo Velikost Komentář Verze Přístup Jalali.pdf 0 214.1 KB Vydavatelský postprint vyžádat - 2.0500314 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Garlík, Michal - Kołodziejcz, L. A.
Some subsystems of constant-depth Frege with parity.
ACM Transactions on Computational Logic. Roč. 19, č. 4 (2018), č. článku 29. ISSN 1529-3785. E-ISSN 1557-945X
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: constant-depth Frege * counting axioms * modular counting * propositional proof complexity
Obor OECD: Pure mathematics
Impakt faktor: 0.448, rok: 2018
https://dl.acm.org/citation.cfm?id=3243126
Trvalý link: http://hdl.handle.net/11104/0292413Název souboru Staženo Velikost Komentář Verze Přístup Garlik.pdf 6 1 MB Vydavatelský postprint vyžádat - 3.0437494 - MÚ 2015 RIV US eng J - Článek v odborném periodiku
Atserias, A. - Thapen, Neil
The ordering principle in a fragment of approximate counting.
ACM Transactions on Computational Logic. Roč. 15, č. 4 (2014), s. 29. ISSN 1529-3785. E-ISSN 1557-945X
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: computational complexity * bounded arithmetic * propositional proof complexity
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.618, rok: 2014
http://dl.acm.org/citation.cfm?doid=2656934.2629555
Trvalý link: http://hdl.handle.net/11104/0241058Název souboru Staženo Velikost Komentář Verze Přístup Thapen1.pdf 3 134.3 KB Vydavatelský postprint vyžádat - 4.0380563 - MÚ 2013 RIV PL eng J - Článek v odborném periodiku
Cavagnetto, Stefano
String rewriting and proof complexity: an interpretation of resolution.
Reports on mathematical logic. Roč. 44, Jun (2009), s. 167-200. ISSN 0137-2904. E-ISSN 0137-2904
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional logic * propositional proof complexity
Kód oboru RIV: BA - Obecná matematika
http://www.iphils.uj.edu.pl/rml/rml-44/a-cav-44.htm
Trvalý link: http://hdl.handle.net/11104/0211239Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto1.pdf 0 321.4 KB Vydavatelský postprint povolen - 5.0380559 - MÚ 2013 RIV DE eng J - Článek v odborném periodiku
Cavagnetto, Stefano
Some applications of propositional logic to cellular automata.
Mathematical Logic Quarterly. Roč. 55, č. 6 (2009), s. 605-616. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional logic * propositional proof complexity * cellular
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2009
http://onlinelibrary.wiley.com/doi/10.1002/malq.200810008/abstract
Trvalý link: http://hdl.handle.net/11104/0211236Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto2.pdf 1 157.7 KB Vydavatelský postprint vyžádat - 6.0343940 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Dershowitz, N. - Tzameret, Iddo
Complexity of Propositional Proofs Under a Promise.
ACM Transactions on Computational Logic. Roč. 11, č. 3 (2010), s. 1-29. ISSN 1529-3785. E-ISSN 1557-945X
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: theory * promise problems * propositional proof complexity * random 3CNF * resolution
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.391, rok: 2010
http://dl.acm.org/citation.cfm?doid=1740582.1740586
Trvalý link: http://hdl.handle.net/11104/0186297Název souboru Staženo Velikost Komentář Verze Přístup Tzameret1.pdf 1 248.6 KB Vydavatelský postprint vyžádat - 7.0323651 - MÚ 2009 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Substitution Frege and extended Frege proof systems in non-classical logics.
[Substituční Fregovské a rozšířené Fregovské důkazové systémy v neklasických logikách.]
Annals of Pure and Applied Logic. Roč. 159, č. 2 (2009), s. 1-48. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional proof complexity * Frege system * model logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.667, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0171550Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 2.2 MB Vydavatelský postprint vyžádat - 8.0043538 - MÚ 2007 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Frege systems for extensible modal logics.
[Fregovské systémy pro extensibilní modální logiky.]
Annals of Pure and Applied Logic. Roč. 142, č. 1 (2006), s. 366-379. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR(CZ) IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: modal logic * propositional proof complexity * admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.582, rok: 2006
Trvalý link: http://hdl.handle.net/11104/0136504Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 314 KB Vydavatelský postprint vyžádat