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
More information here: ncatlab.org/nlab/show/natu
1
The word "framework" appears here cs.cmu.edu/~fp/papers/mdo
1
1
There is no generally agreed upon name for a collection of rules specified by schematic depiction
1
1
Replying to
Doesn't 'framework' refer to the collection of different features however? Or are you talking about having a framework that has only a 'pair' defined, and 'function' defined, then somehow smooshing them together to form another, larger framework?