A graphical deep inference system for intuitionistic logic
Pietarinen, Ahti-Veikko
;
Ma, Minghui
Logique et analyse
2019
/
p. 73-114
https://doi.org/10.2143/LEA.245.0.3285706
https://www.scopus.com/sourceid/5800167966
https://www.scopus.com/record/display.uri?eid=2-s2.0-85066258215&origin=inward&txGid=f09760be9343056532d1745827a37d2c
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000462555300004