Zobrazeno 1 - 10
of 3 433
pro vyhledávání: '"natural deduction"'
Publikováno v:
Logic Journal of the IGPL. Feb2019, Vol. 27 Issue 1, p33-59. 27p.
Autor:
STANDEFER, SHAWN1 sstandefer@unimelb.edu.au
Publikováno v:
Logic Journal of the IGPL. Jun2018, Vol. 26 Issue 3, p300-315. 16p.
Autor:
Indrzejczak, Andrzej
Publikováno v:
History & Philosophy of Logic; May2024, Vol. 45 Issue 2, p142-160, 19p
Autor:
Elnashar, Amr1 amr92_@aucegypt.edu, Lotfallah, Wafik Boulos1 lotfallah@aucegypt.edu
Publikováno v:
Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p803-815. 13p.
Autor:
MARETIĆ, MARCEL1 marcel.maretic@foi.hr
Publikováno v:
Mathematical Communications. 2018, Vol. 23 Issue 1, p79-95. 17p.
Autor:
von Plato, Jan1 jan.vonplato@helsinki.fi
Publikováno v:
Bulletin of the Section of Logic. 2017, Vol. 46 Issue 1/2, p65-73. 9p.
Autor:
Borisavljević, Mirjana1 mirjanab@afrodita.rcub.bg.ac.rs
Publikováno v:
Publications de l'Institut Mathématique. 2017, Vol. 101 Issue 115, p75-98. 24p.
Autor:
Greg Restall
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 109-143 (2023)
Natural deduction with alternatives extends Gentzen–Prawitz-style natural deduction with a single structural addition: negatively signed assumptions, called alternatives. It is a mildly bilateralist, single-conclusion natural deduction proof system
Externí odkaz:
https://doaj.org/article/404db0f1d79b471abf246f1d476aee77