Publisher
Springer International Publishing
Reference4 articles.
1. Bellucci, F., Chiffi, D., Pietarinen, A.V.: Assertive graphs. J. Appl. Non-Classical Logics 28(1), 72–91 (2018)
2. Gentzen, G.: Untersuchungen über das logische Schließen I. Math. Z. 39, 176–210 (1935)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Linker,2020
4. Ma, M., Pietarinen, A.V.: A graphical deep inference system for intuitionistic logic. Logique et Anal. (N.S.) 245, 73–114 (2019)