Published: 02.11.2004

Full Issue

PDF (Русский)

Papers

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

A.M. Anisov

5-22

PDF (Русский)

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

V.A. Bazhanov

23-33

PDF (Русский)

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

M.N. Bezhanishvili

34-45

PDF (Русский)

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

B.V. Biryukov, L.G. Biryukova

46-94

PDF (Русский)

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

P.A. Bystrov

95-98

PDF (Русский)

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

V.L. Vasyukov

99-118

PDF (Русский)

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

L. Y. Devyatkin

119-125

PDF (Русский)

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

D.V. Zaitsev

126-137

PDF (Русский)

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

S.Y. Znatnov

138-148

PDF (Русский)

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

A.S. Karpenko

149-171

PDF (Русский)

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

V.I. Levin

172-186

PDF (Русский)

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

V.I. Markin

187-199

PDF (Русский)

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

I.B. Mikirtumov

200-214

PDF (Русский)

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

V.I. Moiseev

215-227

PDF (Русский)

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

L.I. Mchedlishvili

228-237

PDF (Русский)

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

S.A. Pavlov

238-242

PDF (Русский)

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

V.M. Popov, G.N. Shuklin

243-246

PDF (Русский)

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

M.N. Rybakov

247-261

PDF (Русский)

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

E.D. Smirnova

262-266

PDF (Русский)

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

V.V. Suvorov

267-277

PDF (Русский)

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

V.H. Khakhaman

278-281

PDF (Русский)

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

A.V. Chagrov

282-289

PDF (Русский)

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

V.I. Shalak

290-297

PDF (Русский)

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

V.I. Shalak

298-303

PDF (Русский)

Аналог теоремы Макинсона для нормальных модальных логик с оператором Сегерберга.

D.P. Shkatov

304-310

PDF (Русский)