Miguel Pérez-Gaspar

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Logical Framework

Relation Algebra

Top Venues

Computación y Sistemas

Logica Universalis

Publications

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