Glivenko theorems revisited

Glivenko-type theorems for substructural logics (over FL) are comprehensively studied in the paper (GO06b). Arguments used there are fully algebraic, and based on the fact that all substructural logics are algebraizable (see (GO06a) and also (GJKO07) for the details). As a complementary work to the algebraic approach developed in (GO06b), we present here a concise, proof-theoretic approach to Glivenko theorems for substructural logics. This will show different features of these two approaches