Cut elimination for coherent theories in negation normal form

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

ISSN: 1432-0665,  0933-5846

Any de publicació: 2024

Tipus: Article

DOI: 10.1007/S00153-023-00902-5 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus