Finite two-dimensional proof systems for non-finitely axiomatizable logics

Vitor Greati, João Marcos

The characterizing properties of a proof-theoretical presentation of a given logic may hang on the choice of proof formalism, on the shape of the logical rules and of the sequents…