Published: 04.08.2000

Full Issue

PDF (Русский)

Papers

Логика на рубеже тысячелетий.

A.S. Karpenko

7-60

PDF (Русский)

Реализуемостная семантика раннего периода марковского конструктивизма (история и проблемы).

N.M. Nagorny

61-71

PDF (Русский)

О прикладных теориях с суперинтуиционистскими логиками.

N.N. Nepeivoda

72-79

PDF (Русский)

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

V.M. Popov

80-83

PDF (Русский)

Два замечания о строго импликативных формулах в модальной логике s3.

A.V. Chagrov

84-89

PDF (Русский)

Импликативные логики, ламбековские системы и экспоненциальные мультикатегории.

V.L. Vasyukov

90-118

PDF (Русский)

О негативно эквивалентных расширениях минимальной логики.

S.P Odintsov

119-127

PDF (Русский)

Секвенциальная аксиоматизация квазиминимальной логики.

V.M. Popov

128-131

PDF (Русский)

Classical multiplicative linear logic - intuitionistic mll.

G. Mints, S. Soloviev

132-136

PDF

Синопсис теории фронтонов.

L.L. Esakia

137-147

PDF (Русский)

Интерполяционная теорема для исчислений частичных предикатов Хао Вана.

M.N. Bezhanishvili

148-158

PDF (Русский)

Алгоритм выявления регуляторного сигнала в наборе последовательностей.

K.Yu. Gorbunov, V.A. Lubetsky

159-163

PDF (Русский)

Аксиоматическое исчисление неопределенности.

A.M. Anisov

164-173

PDF (Русский)

Условия применимости классической логики в рамках языков неклассических логик.

S.F. Pavlov

174-180

PDF (Русский)

Аналитические таблицы для позитивных логик, свободных от «парадоксов» материальной импликации.

P.I. Bystrov

181-191

PDF (Русский)

Семантика анафоры как оператора доопределения.

I.B. Mikirtumov

192-198

PDF (Русский)

Универсальная теорема дедукции.

T.A. Sidorenko

199-208

PDF (Русский)

Об эффективных теоремах о дедукции в нормальных модальных логиках.

A.V. Chagrov

209-216

PDF (Русский)

Логика в философии и философия логики.

E.D. Smirnova

217-231

PDF (Русский)

Logic and the relativity principle.

K.F. Samokhvalov

232-239

PDF

К семантике аподиктической силлогистики Аристотеля.

L.I. Mchedlishvili

240-251

PDF (Русский)

Погружение воображаемой логики Н. А. Васильева в кванторную трехзначную логику.

V.I. Markin

252-260

PDF (Русский)

Логика n измерений Н. А. Васильева. Современная реконструкция

T.P. Kostyuk

261-268

PDF (Русский)

Проблема построения теории фактических модальностей.

V.Yu. Ivlev, Yu.V. Ivlev

269-276

PDF (Русский)

О временной квалификации нормативных высказываний.

E.F. Karavayev

277-284

PDF (Русский)

Surles indiscernabilites comme structures algebriques.

M.M. Novosyolov

285-290

PDF

Б.больцано как предшественник конструктивизма.

B.I. Fyodorov

291-300

PDF (Русский)

О понятии и суждениях существования.

E.E. Ledniкоv

301-307

PDF (Русский)

Кантовская модель Бога.

V.A. Bocharov, T.I. Yuraskina

308-316

PDF (Русский)