Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

Autor: Espírito Santo, José, Matthes, Ralph, Pinto, Luís

Publikováno v: LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020)
Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020), 188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, 2021, LIPIcs : Leibniz International Proceedings in Informatics ; ISSN : 1868-8969, 978-3-95977-182-5. ⟨10.4230/LIPIcs.TYPES.2020.4⟩

The approach to proof search dubbed "coinductive proof search", and previously developed by the authors for implicational intuitionistic logic, is in this paper extended to LJP, a focused sequent-calculus presentation of polarized intuitionistic logi

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc1743aaffb0f681edfb2d5d03cc8df2

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.