Gentzen formulations of two positive relevance logics
Keyword(s):
Keyword(s):
2011 ◽
Vol 361-363
◽
pp. 1965-1969
Keyword(s):