Cut elimination for coherent theories in negation normal form

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

ISSN: 1432-0665,  0933-5846

Argitalpen urtea: 2024

Mota: Artikulua

DOI: 10.1007/S00153-023-00902-5 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus