Logical Studies, 2002, Volume 8

top stories

Логика определённости и неопределённости во времени. А.М. Анисов

Автор: Admin

Базисная логика и примитивно рекурсивная реализуемость. Д.А. Витер

Автор: Admin

Аналитико-табличная формализация систем временной логики... О.М. Григорьев

Автор: Admin

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

Автор: Admin

Квазиискусственные объекты. Н.Н. Непейвода

Автор: Admin

Система NFI, равнонепротиворечивая с системой Куайна NF. В.Х. Хаханян

Автор: Admin

Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики. А.В. Чагров

Автор: Admin

Множество формальных силлогистик с простыми "общими" термами. Т.А. Шиян

Автор: Admin

Обобщенные истинностные значения: решетки и мультирешетки. Я.В. Шрамко

Автор: Admin