[Back]


Publications in Scientific Journals:
A. Ciabattoni, F. Montagna:
"Proof theory for locally finite many-valued logics: Semi-projective logics";
Theoretical Computer Science, 480 (2013), 26 - 42.

Created from the Publication Database of the Vienna University of Technology.