Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
NORMAL DEDUCTION IN THE INTUITIONISTIC LINEAR LOGIC
Authors:
MINTS G
Citation:
G. Mints, NORMAL DEDUCTION IN THE INTUITIONISTIC LINEAR LOGIC, Archive for mathematical logic, 37(5-6), 1998, pp. 415-425
INDEXED SYSTEMS OF SEQUENTS AND CUT-ELIMINATION + MODAL LOGIC
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
STRONG TERMINATION FOR THE EPSILON-SUBSTITUTION METHOD
Authors:
MINTS G
Citation:
G. Mints, STRONG TERMINATION FOR THE EPSILON-SUBSTITUTION METHOD, The Journal of symbolic logic, 61(4), 1996, pp. 1193-1205
A NORMAL-FORM FOR LOGICAL DERIVATIONS IMPLYING ONE FOR ARITHMETIC DERIVATIONS
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
Risultati:
1-4
|