Introduction of Implication and Generalization in Axiomatic Calculi
Arthur Buchsbaum, Jean-Yves Béziau · reroDoc Digital Library · 2013
Introduction of implication and generalization rules have a close relationship, for which there is a key idea for clarifying how they are connected: varying objects. Varying objects trace how generalization rules are used along a demonstration in an axiomatic calculus. Some ways for introducing implication and for generalization are presented here, taking into account some basic properties that calculi can have.