Published: 15.06.1998

Full Issue

PDF (Русский)

Papers

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

A.S. Karpenko

7-18

PDF (Русский)

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

L.I. Esakia

19-24

PDF (Русский)

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

O.M. Anshakov

25-52

PDF (Русский)

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

L.L Maksimova

53-60

PDF (Русский)

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

N.N. Nepejvoda

61-73

PDF (Русский)

Dynamic semantics applied to inconsistency-adaptive logic S1.

D. Batens

74-85

PDF

Different kinds of relevance.

P. Weingartner

86-100

PDF

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

E.A. Sidorenko

101-118

PDF (Русский)

Теория релевантного следования i: аксиоматика.

D. V. Zajtsev

119-128

PDF (Русский)

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

P.I. Bystrov

129-134

PDF (Русский)

On the reversibility of doxastic actions.

K. Segerberg

135-138

PDF

The law of assertion and the rule of restricted permutation.

A. Kron

139-149

PDF

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

A.V. Chagrov, A.A. Chagrova

150-159

PDF (Русский)

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

V.Kh. Hakhanian

160-162

PDF (Русский)

Теория пропозициональных программ ii.

V.I. Shalak

163-170

PDF (Русский)

Алгоритм поиска вывода в классической логике предикатов.

A.E. Bolotov, V.A . Bocharov, A .E . Gorchakov

171-194

PDF (Русский)

On the logic of connectionist representation.

V. Rantala

195-205

PDF

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

S'.A Pavlov

206-220

PDF (Русский)

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

V.L. Vasyukov

221-229

PDF (Русский)

Об одном частично интерпретируемом табличном исчислении.

M.N. Bezhanishvili

230-240

PDF (Русский)

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

V.I. Markin

241-251

PDF (Русский)

Диадические семантики для систем формальной силлогистики.

V.M. Popov, I.I. Khorokhorin

252-278

PDF (Русский)