назад
Институт Философии
Российской Академии Наук
Логические исследования. Вып. 11. – М.: Наука 2004. – 314 с. ISBN 5-02-033542-8
Главная страница
»
Периодические издания
»
Логические исследования
»
Логические исследования. Вып. 11. – М.: Наука 2004. – 314 с. ISBN 5-02-033542-8
печатать страницу
Логические исследования. Вып. 11. – М.: Наука 2004. – 314 с. ISBN 5-02-033542-8
СОДЕРЖАНИЕ
Анисов А.М.
Определение понятия реальной истины в теории множеств с атомами
Бажанов В.А.
П.С.Порецкий. Жизнь и научная деятельность пионера исследований в области математической логики в России
Бежанишвили М.Н.
Логическое всеведение и эпистемическое табличное исчисление предикатов
Бирюков Б.В., Бирюкова Л.Г.
Людвиг Витгенштейн и Софья Александровна Яновская «Кембриджский гений» знакомится с советскими математиками 30-х годов
Быстров П.И.
Релевантное исчисление в форме аналитических таблиц
Васюков
В.Л.
Не-фрегевский путеводитель по гуссерлевским и мейнонговским джунглям
Девяткин Л.Ю.
Трехзначные изоморфы классической логики
Зайцев
Д.В., Шрамко Я.В.
Логическое следование и выделенные значения
Знатнов С.Ю.
О программном обеспечении компьютерных доказательств
Карпенко А.С.
Предмет логики в свете основных тенденций ее развития
Левин В.И.
Интервальная логика и некоторые ее применения.
Маркин В.И.
Фундаментальная силлогистика с неопределенно-местной константой
Микиртумов И.Б.
Композициональные и некомпозициональные типы в интенсиональной логике
Моисеев В.И.
Проективно-модальная Онтология и некоторые ее приложения
Мчедлишвили
Л.И.
Аристотелевская аподиктическая силлогистика: метод получения избыточной информации; фрагментарность
Павлов С.А.
Расширение области определения предиката истинности на ограниченную область символьных выражений
Попов В.М., Шуклин Г.Н.
Интуиционистски приемлемая паранормальная логика
Рыбаков М.Н
.
Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента
Смирнова Е.Д.
К экспликации семантического понятия истинности
Суворов В.В.
Синтез логических аксиом в пространстве гиперкубовых структур
Хаханян В.Х.
Теория множеств с интуиционистской логикой: базисная система
Чагров
А.В.
Алгоритмическая проблема финитарного семантического следования для базисной и формальной логик А.Виссера
Шалак В.И.
Логика абелевых групп
Шалак В.И.
Логика групп и свободные группы
Шкатов Д. П.
Аналог теоремы Макинсона для нормальных модальных логик с оператором Сегерберга
Институт Философии
Российской Академии Наук
Copyright © 2007—2024
Журналы
Альманахи
Архив периодических изданий
Философия науки и техники
История философии
Логические исследования
Историко-философский ежегодник
Ишрак
назад
