Cut elimination for coherent theories in negation normal form

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

ISSN: 1432-0665,  0933-5846

Year of publication: 2024

Type: Article

DOI: 10.1007/S00153-023-00902-5 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus