Back
Add Comment
Topics
Vote
Results
structural rule
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
--Agreed Upon Solutions

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

anonymous