Skip to content

Analytic Calculi for Non-Classical Logics: Theory and Applications.

Agata Ciabattoni

VenueBCSL
Year2016
ProceedingsCSL

Browse the full CSL paper archive.