In natural deduction, is there a word for a bunch of related formation, introduction, elimination, and computation rules? Examples would be: pairs, functions, records, etc. I think some would call these 'types' but somehow I feel that only covers the type constructor part.
Conversation
There is no generally agreed upon name for a collection of rules specified by schematic depiction
1
1
Show replies