Gentzenization and decidability of some contraction-less relevant logics Academic Article uri icon

publication date

  • February 1991