Роль модельных структур в определении логического следования.

Аннотация

Проблема определения отношения логического следования интересна сама по себе, ведь она является одной, если не самой важной, из фундаментальных проблем логики как науки. Семантические исследования интенсиональныхи прежде всего релевантных, логических систем вносят ваэь:ный вклад в решение этой проблемы. В этой работе мы пытаемся построить семантику следования, в которой каждая формула языка $L$ характеризуется некоторой модельной структурой. Идея сопоставлять формуле модельную структуру развивалась нами еще в [6]. В этой статье она существенно уточняется. Рассматривается соответствующая построенной семантике синтаксическая система. Настоящая статья представляет собой первую часть нашей работы по построению выше названной семантики следования.