Логические исследования. Вып. 5

СОДЕРЖАНИЕ

От редколлегии

Editors’ note

Карпенко А.С. Некоторые логические идеи В.А. Смирнова.

Эсакиа JI.JI. Доказуемостные интерпретации интуиционистской логики.

Аншаков О.М. J-логики и соответствующие им классы алгебр.

Максимова Л.Л. Явная и неявная определимость в модальных, суперинтуиционистских и релевантных логиках.

Непейвода Н.Н. Неполные структуры выводов и их использование.

Batens D. Dynamic semantics applied to inconsistency-adaptive logics.

Weingartner P. Different kinds of relevance.

Сидоренко E.A. Нормализованные выводы и обобщение теоремы дедукции.

ЗайцевД.В. Теория релевантного следования I: Аксиоматика.

Быстров П. И. Разрешимые исчисления, основанные на абсолютной релевантной системе В.А.Смирнова.

Segerberg К. On the reversibility of doxastic actions.

Kron A. The law of assertion and the rule of restricted permutation.

Чагров A.B., Чагрова А.А. Бесконечные множества несводимых модальностей в нормальных модальных логиках.

Хаханян В.Х. Независимость принципа двойного дополнения множеств схемы собирания теории множеств с интуиционистской логикой.

Шалак В. И. Теория пропозициональных программ II.

Болотов А.Е., Бочаров В.А., Горчаков А.Е. Алгоритм поиска вывода в классическом исчислении предикатов.

Rantala V. On the logic of connectionist representation.

Павлов C.A. Логика ложности как обобщение трехзначной логики Лукасевича.

Васюков В. Л. Комбинированная логика В.А.Смирнова с ситуационной точки зрения (не-фрегевский подход).

Бежанишвили М.И. Об одном частично интерпретируемом табличном исчислении.

Маркин В.И. Формальная реконструкция традиционной сингулярной негативной силлогистики.

Попов В.М., Хорохорин И.И. Диадические семантики для систем формальной силлогистики.