• Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2020 / p. 509 - 540 https://doi.org/10.1017/S1755020318000187 https://www.scopus.com/sourceid/19800188078 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051701593&origin=inward&txGid=34c14f3bdac1edbd87754fdcb228892f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000556822700004
• Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85009818542&origin=inward&txGid=41e571b3ee346514d35cb170cb79338d https://www.webofscience.com/wos/woscc/full-record/WOS:000405784700013
• Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y https://www.scopus.com/sourceid/144951 https://www.scopus.com/record/display.uri?eid=2-s2.0-85006387005&origin=inward&txGid=4bd3baf46af92218b70cc2e4ed091c56 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000401436800008
• The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85058062732&origin=inward&txGid=a098673aae50e82c85aea4122a0b82ac https://www.webofscience.com/wos/woscc/full-record/WOS:000452898800017