Miguel Pérez-Gaspar

According to our database, Miguel Pérez-Gaspar authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic.

Miguel Pérez-Gaspar, Javier Gómez, Everardo Bárcenas, Francisco García

Proceedings of the International Conference on Intelligent Environments, 2024

2023

Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.

Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar

Computación y Sistemas (CyS), 2023

2022

Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.

Aldo Figallo Orellano, Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras

Stud Logica, 2022

G'₃ as the logic of modal 3-valued Heyting algebras.

Marcelo Esteban Coniglio, Aldo Figallo Orellano, Alejandro Hernández-Tello, Miguel Pérez-Gaspar

FLAP, 2022

2021

Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$.

Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías

Logica Universalis, 2021

A family of genuine and non-algebraisable C-systems.

Mauricio Osorio, Aldo Figallo Orellano, Miguel Pérez-Gaspar

J. Appl. Non Class. Logics, 2021

On the Paraconsistent Logic CG′3.

Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas

Computación y Sistemas, 2021

On the Algebrization of the Multi-valued Logics CG'3 and G'3.

Miguel Pérez-Gaspar, Everardo Bárcenas

Computación y Sistemas, 2021

2020

Sobre la algebrización de la lógica paraconsiente CG'3.

Miguel Pérez-Gaspar, Everardo Bárcenas

Res. Comput. Sci., 2020

An axiomatic approach to CG′3 logic.

Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo

Log. J. IGPL, 2020

2019

Completeness for the paraconsistent logic CG^'₃ based on maximal theories.

Miguel Pérez-Gaspar, Everardo Bárcenas

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

2016

Kripke-type Semantics for CG'₃.

Verónica Borja Macías, Miguel Pérez-Gaspar

Proceedings of the Selected Papers of the Tenth Latin American Workshop on Logic/Languages, 2016

Kripke-type semantics for G'₃ and CG'₃.

Verónica Borja Macías, Miguel Pérez-Gaspar

Proceedings of the Tenth Latin American Workshop on Logic/Languages, 2016