Marcos Bautista López Aznar. Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams. In Ahti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James E. Corter, Sven Linker, editors, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings. Volume 12169 of Lecture Notes in Computer Science, pages 473-476, Springer, 2020. [doi]
Abstract is missing.