José R. Arrazola Ramírez

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