Generation-preserving ↔ truth-preserving: dictionary correspondence between the inference norms of generative and classical logic.
generation-preserving (保生)
Preserving the type of generative structure in inference
- Dictionary-level correspondences
- 保生 ↔ 保真〔词典级〕

