Paraconsistent Foundations of Mathematics, 2010–2013