Bílková Marta

RIV - aktuální sběr

RIV ID 6286615               

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 1

Článek v odborném periodiku

0505107 - UIVT-O 2020 RIV NL eng J - Článek v odborném periodiku
Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. first online 24 July 2019 (2019). ISSN 0039-3215
Grant CEP: GA ČR GA17-04630S
Institucionální podpora: RVO:67985807
Klíčová slova: Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
Kód oboru RIV: BA - Obecná matematika
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.467, rok: 2018
Trvalý odkaz: http://hdl.handle.net/11104/0296624