Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Structure





Kinds are described structurally using our logic in a number of ways using several core operators. Classification is covered with the inheritance operators < and <p; structural relationships are formalized using the inclusion operators _p and _, equivalence has several forms, P and l; realization, the relationship

between instances and kind, is formalized with the operators <r and:; composition is captured in several forms,, _, and _; and interpretation, the translation of kind to kind or instances to instances, is realized with the operators,!and.

 

Rules

Relevant Rules.

(Parent Interp*) (Fully Equiv*) (Partial Equiv*)

􀀀,L K,K,! L ` _ 􀀀 ` K <p L

􀀀 ` L K·K,! L = idL,_

􀀀 ` U P V

􀀀 ` [U] = [V ]

􀀀 ` U l V

􀀀 ` [V ] _ [U]

The most important rules of kind theory in the context of this paper are ummarized in Table 1. The gamma in these rules is an explicit context of sequents (kind theory sentences). _ is a list of arbitrary sentences, idL is the identity function on kind L, and the asterisk denotes that all of these rules are reversible

(that is, they are bijections).

The rule (Parent Interp*) states that, if an inheritance relationship exists between kinds, then two interpretations must also exist: one that takes the parent to the child, preserving all structure, and a right adjoint of that map that takes the child to the parent. This rule essentially subsumes the related notions of type

coercion, structural type checking, and classification.

The relationship between equivalence and canonicality is elucidated in the other two rules. First, two assets, that is, kinds or instances, are fully equivalent if and only if their canonical forms are identical.

Second, two assets are partially equivalent if their canonical forms are structurally contained—that is, one of them is part of the other.







Дата добавления: 2015-09-07; просмотров: 507. Нарушение авторских прав; Мы поможем в написании вашей работы!




Картограммы и картодиаграммы Картограммы и картодиаграммы применяются для изображения географической характеристики изучаемых явлений...


Практические расчеты на срез и смятие При изучении темы обратите внимание на основные расчетные предпосылки и условности расчета...


Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...


Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Разновидности сальников для насосов и правильный уход за ними   Сальники, используемые в насосном оборудовании, служат для герметизации пространства образованного кожухом и рабочим валом, выходящим через корпус наружу...

Дренирование желчных протоков Показаниями к дренированию желчных протоков являются декомпрессия на фоне внутрипротоковой гипертензии, интраоперационная холангиография, контроль за динамикой восстановления пассажа желчи в 12-перстную кишку...

Деятельность сестер милосердия общин Красного Креста ярко проявилась в период Тритоны – интервалы, в которых содержится три тона. К тритонам относятся увеличенная кварта (ув.4) и уменьшенная квинта (ум.5). Их можно построить на ступенях натурального и гармонического мажора и минора.  ...

Тема: Изучение фенотипов местных сортов растений Цель: расширить знания о задачах современной селекции. Оборудование:пакетики семян различных сортов томатов...

Тема: Составление цепи питания Цель: расширить знания о биотических факторах среды. Оборудование:гербарные растения...

В эволюции растений и животных. Цель: выявить ароморфозы и идиоадаптации у растений Цель: выявить ароморфозы и идиоадаптации у растений. Оборудование: гербарные растения, чучела хордовых (рыб, земноводных, птиц, пресмыкающихся, млекопитающих), коллекции насекомых, влажные препараты паразитических червей, мох, хвощ, папоротник...

Studopedia.info - Студопедия - 2014-2025 год . (0.013 сек.) русская версия | украинская версия