• A dynamic approach to Peirce's interrogative construal of abductive logicMa, Minghui; Pietarinen, Ahti-VeikkoIfCoLog journal of logics and their applications. Vol. 3, no. 1, Special issue frontiers of abduction2016 / p. 73-104 http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf
• Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017091471&origin=inward&txGid=d66d70d9763514ebcc27d57f6332aee7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000439480200016
• A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / 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
• Graphical sequent calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoElectronic proceedings in theoretical computer science2017 / p. 91-103 https://doi.org/10.4204/EPTCS.243.7 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85018895900&origin=inward&txGid=017e9495e88129b44be81d9119238efe https://www.webofscience.com/wos/woscc/full-record/WOS:000405453900008
• Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x https://www.scopus.com/sourceid/4700152621 https://www.scopus.com/record/display.uri?eid=2-s2.0-85040787592&origin=inward&txGid=b897f6662cf53cc98b58435da6c3d89a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000450016600001
• 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 Dragon-Head Logic (R 501, 1901)Ma, Minghui; Pietarinen, Ahti-VeikkoArchive for History of Exact Sciences volume2022 / p. 261–317 https://doi.org/10.1007/s00407-021-00285-0 https://www.scopus.com/sourceid/19339 https://www.scopus.com/record/display.uri?eid=2-s2.0-85125169164&origin=inward&txGid=17ed0c64be1b92409eeb4cba23a8793e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ARCH%20HIST%20EXACT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000761840000001
• 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
• A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 https://www.scopus.com/sourceid/25674 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000050