MIRJANA ILI´C

Artykuły

A natural deduction and its corresponding sequent calculus for positive contraction{less relevant logic

Reports on Mathematical Logic, 2017, Number 52, s. 93-124
Data publikacji online: 30 sierpnia 2017
DOI 10.4467/20842589RM.17.006.7144