admissibility of an inference rule
relationship between inference rules and the logics in which it is valid
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous