Axioms concerning correspondence Sample Clauses

Axioms concerning correspondence. In the previous section, I defined a relation as a set of ordered pairs that adhere to some axioms and illustrated that kinds of relations are distinguished entirely by their set of axioms. In this section, I define the axioms that define correspondence to show that the same axioms apply to both I/O-Correspondence and φ-Correspondence. By doing so I demonstrate that the two sets of relation types belong to the same kind of relation (Hypothesis I). Since most readers are familiar with I/O-Correspondence, I start each subsection with a semi-formal definition of an axiom of I/O-Correspondence and then show that it extends to φ-Correspondence relations. Although I do not provide formal a treatment of Base-Reduplicant and Input-Reduplicant Correspondence, the same definitions apply to these types of correspondence as well, as it was the original intent of XxXxxxxx and Prince (1995) to define a unified theory. Surface Correspondence is discussed with reference to φ-Correspondence whenever relevant, while other less adopted theories based on correspondence, such as transderivational correspondence (Benua 1997) or feature correspondence (Akinlabi 1996), are not discussed.