Agata Ciabattoni, Franco Montagna. Proof theory for locally finite many-valued logics: Semi-projective logics. Theoretical Computer Science, 480:26-42, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.