José R. Arrazola Ramírez

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 5

Top Topics

Propositional Calculus

Classical Logic

Top Venues

Logica Universalis

Electron. Notes Theor. Comput. Sci.

Int. J. Adv. Intell. Paradigms

Publications

Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
An axiomatic approach to CG′3 logic. Log. J. IGPL 28 (6) (2020)
Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). Log. J. IGPL 25 (2) (2017)
Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
The Pursuit of an Implication for the Logics L3A and L3B. Logica Universalis 11 (4) (2017)
José R. Arrazola Ramírez, José Raymundo Marcial-Romero
Preface. Electron. Notes Theor. Comput. Sci. 328 (2016)
Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez
Revisiting da Costa logic. J. Appl. Log. 16 (2016)
Oscar Hernán Estrada-Estrada, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo
Possibilistic intermediate logic. Int. J. Adv. Intell. Paradigms 4 (2) (2012)
Mauricio Javier Osorio Galindo, José R. Arrazola Ramírez, José Luis Carballido
Logical Weak Completions of Paraconsistent Logics. J. Log. Comput. 18 (6) (2008)
Fernando Zacarías Flores, José R. Arrazola Ramírez, Oscar Hernán Estrada-Estrada
Advances in Computer Science and Artificial Intelligence. Eng. Lett. 15 (2) (2007)
Fernando Zacarías, Dionicio Zacarías, José R. Arrazola Ramírez, Rosalba Cuapa
Rational Agents under ASP in Games theory. STAIRS (2006)
Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Logics with Common Weak Completions. J. Log. Comput. 16 (6) (2006)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
An Axiomatization of G'3. LoLaCOM (2006)
Mauricio Osorio, José R. Arrazola Ramírez, José Luis Carballido, Oscar Estrada
Programas Lógicos Disjunctivos y la Demostrabilidad de Atomos en Cw. LoLaCOM (2006)
Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15 (5) (2005)