Шангин* ПАРАПОЛНОЕ МОДЕЛЬНОЕ МНОЖЕСТВО** В статье построено оригинальное модельное множество для параполной логики PComp (параполное модельное множество), которое является обобщением модельного множества, предложенного Я. <...> Ключевые слова: модельное множество, множество Хинтикки, параполная логика, паралогика, семантика, теория моделей, отмеченная формула. <...> Paracomplete model set The author constructs an original model set for a paracomplete logic PComp (paracomplete model set) which is the generalization of the model set proposed by J. <...> Key words: model set, Hintikka set, paracomplete logic, paralogic, semantics, model theory, signed formula. <...> В дальнейшем модельное множество (в том числе для неклассических логик) стали называть множеством Хинтикки. <...> Грубо говоря, модельное множество формул обладает некоторыми условиями (например, непротиворечивостью), позволяющими доказать его выполнимость, т.е. наличие модели, в которой все формулы из этого множества принимают значение «истина». <...> Модельные множества успешно применяются в теории доказательств. <...> Шмульян доказывает полноту построенных им исчислений для классической логики высказываний и предикатов [R. <...> Фиттинг использует модельные множества и коллекции модельных множеств для доказательства полноты предложенных им аналитических таблиц для интуиционистской и модальной ∗ Шангин Василий Олегович — кандидат философских наук, ассистент кафедры логики философского факультета МГУ имени М.В. Ломоносова, тел. <...> Карнелли о систематизации любой конечнозначной логики с помощью предложенных им аналитических таблиц базируется на построении модельных множеств [W. <...> Долгое время считалось, что метод построения модельных множеств не применим к (автоматическому) поиску натурального вывода. <...> Сига и его учеников, где данный метод (косвенным образом) используется для доказательства полноты так называемых «промежуточных» исчислений, доказательство в которых затем трансформируется в доказательство в натуральном исчислении [W. <...> Данная статья является продолжением серии статей, посвященных <...>