Kripke-type semantics for G'3 and CG'3. - Verónica Borja Macías; Miguel Pérez-Gaspar (LANMR, 2016)

Kripke-type Semantics for CG'3. - Verónica Borja Macías; Miguel Pérez-Gaspar (LANMR (Selected Papers), 2016)

Completeness for the paraconsistent logic CG'3 based on maximal theories. - Miguel Pérez-Gaspar; Everardo Bárcenas (LANMR, 2019)

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)

Sobre la algebrización de la lógica paraconsiente CG'3. - Miguel Pérez-Gaspar; Everardo Bárcenas (Res. Comput. Sci., 2020)

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)

On the Paraconsistent Logic CG′3. - Miguel Pérez-Gaspar; Verónica Borja Macías; Everardo Bárcenas (Computación y Sistemas, 2021)

A family of genuine and non-algebraisable C-systems. - Mauricio Osorio 001; Aldo Figallo Orellano; Miguel Pérez-Gaspar (J. Appl. Non Class. Logics, 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)

G'3 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)

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)

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)

Consistent IoT Systems: A Perspective Based on Paraconsistent Descriptive Logic. - Miguel Pérez-Gaspar; Javier Gómez; Everardo Bárcenas; Francisco García (IE, 2024)