Výsledky vyhledávání
- 1.0546967 - FLÚ 2022 DE eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract).
Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings. Cham: Springer, 2021 - (Baroni, P.; Benzmüller, C.; Wáng, Y.), s. 513-520. Lecture Notes in Artificial Intelligence, 13040. ISBN 978-3-030-89390-3.
[CLAR 2021: International Conference on Logic and Argumentation /4./. online (CN), 20.10.2021-22.10.2021]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry–Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-89391-0_31
Trvalý link: http://hdl.handle.net/11104/0323339 - 2.0546332 - FLÚ 2022 RIV NL eng J - Článek v odborném periodiku
Pezlar, Ivo
The placeholder view of assumptions and the Curry–Howard correspondence.
Synthese. Roč. 198, č. 11 (2021), s. 10109-10125. ISSN 0039-7857. E-ISSN 1573-0964
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: Placeholder view of assumptions * Assumption withdrawing * Curry-Howard correspondence * Natural deduction * Intuitionistic propositional logic
Obor OECD: Philosophy, History and Philosophy of science and technology
Impakt faktor: 1.595, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s11229-020-02706-z
Trvalý link: http://hdl.handle.net/11104/0322869 - 3.0505107 - ÚI 2021 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. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
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
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.585, rok: 2020
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1007/s11225-019-09869-y
Trvalý link: http://hdl.handle.net/11104/0296624