Том 11 (2004) | Логические исследования

Определение понятия реальной истины в теории множеств с атомами.

А.М. Анисов

5-22

PDF

П. С. Порецкий. Жизнь и научная деятельность пионера исследований в области математической логики в России.

В.А. Бажанов

23-33

PDF

Логическое всеведение и эпистемическое табличное исчисление предикатов.

М.Н. Бежанишвили

34-45

PDF

Людвиг Витгенштейн и Софья Александровна Яновская «кембриджский гений» знакомится с советскими математиками 30-х годов.

Б.В. Бирюков, Л.Г. Бирюкова

46-94

PDF

Релевантное исчисление в форме аналитических таблиц.

П.И. Быстров

95-98

PDF

Не-фрегевский путеводитель по гуссерлевским и мейнонговским джунглям.

В.Л. Васюков

99-118

PDF

Трехзначные изоморфы классической логики.

Л.Ю. Девяткин

119-125

PDF

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

Д.В. Зайцев

126-137

PDF

О программном обеспечении компьютерных доказательств.

С.Ю. Знатнов

138-148

PDF

Предмет логики в свете основных тенденций ее развития.

А.С. Карпенко

149-171

PDF

Интервальная логика и некоторые ее применения

В.И. Левин

172-186

PDF

Фундаментальная силлогистика с неопределенно-местной константой.

В.И. Маркин

187-199

PDF

Композициональные и некомпозициональные типы в интенсиональной логике.

И.Б. Микиртумов

200-214

PDF

Проективно-модальная онтология и некоторые ее приложения.

В.И. Моисеев

215-227

PDF

Аристотелевская аподиктическая силлогистика: метод получения избыточной информации; фрагментарность.

Л.И. Мчедлишвили

228-237

PDF

Расширение области определения оператора истинности на ограниченную область символьных выражений.

С.А. Павлов

238-242

PDF

Интуиционистски приемлемая паранормальная логика.

В.М. Попов, Г.Н. Шуклин

243-246

PDF

Погружение интуиционистской логики в ее фрагмент от двух переменных и сложность этого фрагмента.

М.Н. Рыбаков

247-261

PDF

К экспликации семантического понятия истинности.

Е.Д. Смирнова

262-266

PDF

Синтез логических аксиом в пространстве гиперкубовых структур.

В.В. Суворов

267-277

PDF

Теория множеств с интуиционистской логикой: базисная система.

В.Х. Хаханян

278-281

PDF

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

А.В. Чагров

282-289

PDF

Логика абелевых групп.

В.И. Шалак

290-297

PDF

Логика групп и свободные группы.