Cut elimination for coherent theories in negation normal form

  1. Maffezioli, P.
Revista:
Archive for Mathematical Logic

ISSN: 1432-0665,  0933-5846

Año de publicación: 2024

Tipo: Artículo

DOI: 10.1007/S00153-023-00902-5 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus