• Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078
• Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055
• On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 https://www.scopus.com/sourceid/145095 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084046484&origin=inward&txGid=920993e747e4662c40a1b40464e4c574 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20LANG%20INFORM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000527468900001
• 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