Аннотация:
Обсуждаются алгоритмы получения условий межмодельной импликации свойств с ветвящейся структурой их определений в неформальном языке позитивно-образованных формул. Обеспечивается расширение множества межмодельных отношений связи с ослаблением налагаемых на них условий вследствие декомпозиции между ними полного набора формируемых условий импликации. Не требуется априорного задания каких-либо из условий импликации.