Mirjana Ilić

CV:

Faculty of Economics, University of Belgrade

Artykuły

Sortuj według

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