An axiomatic approach to CG′3 logic
From MaRDI portal
Publication:3386922
DOI10.1093/jigpal/jzaa014zbMath1478.03052MaRDI QIDQ3386922
Mauricio Osorio Galindo, José Ramón Enrique Arrazola Ramírez, Alejandro Hernández-Tello, Miguel Pérez-Gaspar
Publication date: 8 January 2021
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzaa014