Miguel Pérez-Gaspar

13 papers Misc 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic.
IE
Miguel Pérez-Gaspar, Javier Gómez, Everardo Bárcenas, Francisco García
2023 J jnl
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas (CyS)
Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
2022 J jnl
G'
FLAP
Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar
2022 J jnl
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.
Stud Logica
Aldo Figallo Orellano, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras
2021 J jnl
A family of genuine and non-algebraisable C-systems.
J. Appl. Non Class. Logics
Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar
2021 J jnl
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$.
Logica Universalis
Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías
2021 J jnl
On the Algebrization of the Multi-valued Logics CG'3 and G'3.
Computación y Sistemas
Miguel Pérez-Gaspar, Everardo Bárcenas
2021 J jnl
On the Paraconsistent Logic CG′3.
Computación y Sistemas
Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas
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
2020 J jnl
Sobre la algebrización de la lógica paraconsiente CG'3.
Res. Comput. Sci.
Miguel Pérez-Gaspar, Everardo Bárcenas
2019 — conf
Completeness for the paraconsistent logic CG
LANMR
Miguel Pérez-Gaspar, Everardo Bárcenas
2016 — conf
Kripke-type Semantics for CG'
LANMR (Selected Papers)
Verónica Borja Macías, Miguel Pérez-Gaspar
2016 — conf
Kripke-type semantics for G'
LANMR
Verónica Borja Macías, Miguel Pérez-Gaspar