Sheaves over Right Sided Idempotent Quantales. - Francisco Miraglia; Ugo Solitro (Log. J. IGPL, 1998)

Non-Commutative Topology and Quantales. - Marcelo E. Coniglio; Francisco Miraglia (Stud Logica, 2000)

Modules in the category of sheaves over quantales. - Marcelo E. Coniglio; Francisco Miraglia (Ann. Pure Appl. Log., 2001)

Elementary properties of the Boolean hull and reduced quotient functors. - Max A. Dickmann; Francisco Miraglia (J. Symb. Log., 2003)

An Omitting Types Theorem for Sheaves over Topological Spaces. - Andreas Bernhard Michael Brunner; Francisco Miraglia (Log. J. IGPL, 2004)

Lattice-ordered reduced special groups. - Max A. Dickmann; Murray Marshall; Francisco Miraglia (Ann. Pure Appl. Log., 2005)

Profinite Structures are Retracts of Ultraproducts of Finite Structures. - Hugo Luiz Mariano; Francisco Miraglia (Reports Math. Log., 2007)

The Profinite Hull of Special Groups and Local-Global Principles. - Hugo Luiz Mariano; Francisco Miraglia (Stud Logica, 2011)

The Boolean and profinite hulls of reduced special groups. - Hugo Luiz Mariano; Francisco Miraglia (Log. J. IGPL, 2013)

On elementary equivalence of real semigroups of preordered rings. - Francisco Miraglia; Hugo Luiz Mariano (Log. J. IGPL, 2025)