HAL Id: jpa-00210521

First: given a particular logic (a particular set of ordered pairs of wff’s), there is a subdetermination of its rules (there can be different sets of inference rules that determine