Russian reduplicative surface-syntactic relations in the perspective of general syntax by Igor Aleksandrovich Mel’čuk

“…The syntactic operation REDUPL is defined, and several reduplicative SSyntRels are introduced. A deductive calculus thereof is proposed, based on three parameters concerning the correlations between the reduplicate and the reduplicand: the reduplicate is anteposed/postposed (with respect to the reduplicand); is in contact/is not in contact (with the reduplicand); represents an exact/inexact copy (of the reduplicand); eight reduplicative SSynt-Rels are theoretically possible. …”
Get full text

Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules by Jose L. Balcazar

“…For each of these two notions of redundancy, we provide a sound and complete deduction calculus, and we show how to construct complete bases (that is, axiomatizations) of absolutely minimum size in terms of the number of rules. …”
Get full text