Рассматривается проблема построения монотонной логики Флойда-Хоара, котораяявляется расширением классической логики Флойда-Хоара для случая частичных предикатов.Обобщается построенная монотонная логика на случай многосортных логик. Для этого вводятсяноминативные данные с типами. Доказывается монотонность композиций представленной логики, атакже непрерывность композиции Флойда-Хоара.
展开▼