Semantic Decision Procedures for Some Relevant Logics Academic Article uri icon

publication date

  • 2003