Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. - Mauricio Osorio 001; José R. Arrazola Ramírez; José Luis Carballido; Oscar Estrada (LoLaCOM, 2006)

An Axiomatization of G'3. - Mauricio Osorio 001; José R. Arrazola Ramírez; José Luis Carballido; Oscar Estrada (LoLaCOM, 2006)

Advances in Computer Science and Artificial Intelligence. - Fernando Zacarías Flores; José R. Arrazola Ramírez; Oscar Hernán Estrada-Estrada (Eng. Lett., 2007)

A Possibilistic Intuitionistic Logic. - Oscar Estrada; José Arrazola; Mauricio Osorio 001 (MICAI (1), 2010)

Possibilistic intermediate logic. - Oscar Hernán Estrada-Estrada; José R. Arrazola Ramírez; Mauricio Javier Osorio Galindo (Int. J. Adv. Intell. Paradigms, 2012)