Login / Signup

The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality.

Franco ParlamentoFlavio Previale
Published in: Rev. Symb. Log. (2021)
Keyphrases