Abstract
Different types of linguistic classification, ranging from simple inheritance hierarchies to systemic networks, are classified algebraically and order-theoretically. To this end, classifications are reformulated as observational theories. Classifications that do not involve disjunction correspond to Horn theories, whose generic universe ordered by specialization is known to be a Scott domain. Several subtypes of Horn theories, corresponding to simple inheritance with exclusions, are classified with respect to their domains. Systemic classification is shown to have a flat domain. In particular, every finite systemic classification can be translated into a Horn theory. The infinite case turns out to be more subtle since non-equivalent observational theories may induce isomorphic specialization orders.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
