Опубликован: 04.08.2000

Весь выпуск

PDF

Статьи

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

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

7-60

PDF

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

Н.М. Нагорный

61-71

PDF

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

Н.Н. Непейвода

72-79

PDF

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

В.М. Попов

80-83

PDF

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

А.В. Чагров

84-89

PDF

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

В.Л. Васюков

90-118

PDF

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

С.П. Одинцов

119-127

PDF

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

В.М. Попов

128-131

PDF

Classical multiplicative linear logic - intuitionistic mll.

G. Mints, С. Соловьев

132-136

PDF (English)

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

Л. Эсакиа

137-147

PDF

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

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

148-158

PDF

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

К.Ю. Горбунов, В.А. Любецкий

159-163

PDF

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

А.М. Анисов

164-173

PDF

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

С.А. Павлов

174-180

PDF

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

П.И. Быстров

181-191

PDF

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

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

192-198

PDF

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

Е.А. Сидоренко

199-208

PDF

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

А.В. Чагров

209-216

PDF

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

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

217-231

PDF

Logic and the relativity principle.

K.F. Samokhvalov

232-239

PDF (English)

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

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

240-251

PDF

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

В.И. Маркин

252-260

PDF

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

Т.П. Костюк

261-268

PDF

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

В.Ю Ивлев, Ю.В. Ивлев

269-276

PDF

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

Э.Ф. Караваев

277-284

PDF

Surles indiscernabilites comme structures algebriques.

M.M. Novosyolov

285-290

PDF (English)

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

Б.И. Федоров

291-300

PDF

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

Е.Е. Ледников

301-307

PDF

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

В.А. Бочаров, Т.И. Юраскина

308-316

PDF