 |
|
|
|
|
|
|
|
|
| |
DOWNLOADABLE MATERIAL
-
Bou, F., Esteva, F., Font, J. M., Gil, A., Godo, L., Torrens, A. and Verdú, V., Logics preserving degrees of truth from varieties of residuated lattices, April 2008
You can download a PDF file (1.23 MB) here: http://www.imub.ub.es/publications/preprints/pdf/PreprintN399.pdf
Rebagliato, J., Verdú, V., Algebraizable Gentzen systems and the deduction theorem for Gentzen systems, Mathematics Preprint Series N. 175, June 1995
You can download a PDF file (820 KB) here: http://www.ub.edu/plie/personal_PLiE/verdu_HTML(2)/docs/ReV95-p.pdf
|
|
|
|
|
