Orellano, Aldo Figallo; Pérez-Gaspar, Miguel; Bárcenas, Everardo Fidel semantics for propositional and first-order version of the logic of CG’3. (English) Zbl 07706066 Log. Log. Philos. 32, No. 1, 141-158 (2023). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. F. Orellano} et al., Log. Log. Philos. 32, No. 1, 141--158 (2023; Zbl 07706066) Full Text: DOI
Osorio, Mauricio; Figallo-Orellano, Aldo; Pérez-Gaspar, Miguel A family of genuine and non-algebraisable C-systems. (English) Zbl 1515.03127 J. Appl. Non-Class. Log. 31, No. 1, 56-84 (2021). MSC: 03B53 03G25 PDFBibTeX XMLCite \textit{M. Osorio} et al., J. Appl. Non-Class. Log. 31, No. 1, 56--84 (2021; Zbl 1515.03127) Full Text: DOI
Hernández-Tello, Alejandro; Pérez-Gaspar, Miguel; Borja Macías, Verónica Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\). (English) Zbl 07344024 Log. Univers. 15, No. 1, 87-121 (2021). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{A. Hernández-Tello} et al., Log. Univers. 15, No. 1, 87--121 (2021; Zbl 07344024) Full Text: DOI
Borja Macías, Verónica; Pérez-Gaspar, Miguel Kripke-type semantics for \(\mathrm{CG}_3'\). (English) Zbl 1394.03045 Arrazola-Ramírez, José Ramón (ed.) et al., Selected papers of the 10th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Puebla, Mexico, August 15, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 328, 17-29 (2016). MSC: 03B53 03B50 PDFBibTeX XMLCite \textit{V. Borja Macías} and \textit{M. Pérez-Gaspar}, Electron. Notes Theor. Comput. Sci. 328, 17--29 (2016; Zbl 1394.03045) Full Text: DOI