Authors: MINTS G

Citation: G. Mints, NORMAL DEDUCTION IN THE INTUITIONISTIC LINEAR LOGIC, Archive for mathematical logic, 37(5-6), 1998, pp. 415-425

Authors: MINTS G

Citation: G. Mints, INDEXED SYSTEMS OF SEQUENTS AND CUT-ELIMINATION + MODAL LOGIC, Journal of philosophical logic, 26(6), 1997, pp. 671-696

Authors: MINTS G

Citation: G. Mints, STRONG TERMINATION FOR THE EPSILON-SUBSTITUTION METHOD, The Journal of symbolic logic, 61(4), 1996, pp. 1193-1205

Authors: MINTS G

Citation: G. Mints, A NORMAL-FORM FOR LOGICAL DERIVATIONS IMPLYING ONE FOR ARITHMETIC DERIVATIONS, Annals of pure and applied Logic, 62(1), 1993, pp. 65-79