Cut elimination for coherent theories in negation normal form

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

ISSN: 1432-0665,  0933-5846

Datum der Publikation: 2024

Art: Artikel

DOI: 10.1007/S00153-023-00902-5 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus