deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

сборники "Логические исследования"

Библиография сборников "Логические исследования" за 10 лет 1993-2003.
Авторский указатель 1-10 выпусков сборника.
https://iphras.ru/uplfile/logic/log10/Li_10_Bibliography.pdf

В частности:

Непейвода Н.Н. О формализации неформализуемого
Непейвода Н.Н. Первые шаги к теории неформализуемых понятий

Анисов А.М.
Может ли пространство быть непрерывным, а время – дискретным? .........I 210
Семантика неопределенности ........................................IV 271
Направленность и обратимость времени ......................VI 195
Аксиоматическое исчисление неопределенности ........VII 164
Свойства времени ............................................................VIII 5
Логика неопределённости и неопределённости во времени ..............................IX 5
Определённости в классической логике ........................X 7

Бушковский В.
Синтаксическое исчисление Ламбека и его семантика .......................I 77

Васюков В.Л.
Ситуации и смысл ...........................................................VI 138
Ситуации и смысл: не-не-фрегевская (метафорическая) логика ................IX 64
Последствия логического плюрализма: глобальный и локальный аспекты .............X 23

Караваев Э.Ф.
О временной логике в одной малоизвестной работе Маркова ....................VI 186


Ледников Е.Е.
О понятии и суждениях существования ........................VII 301

Лукасевич Я.
О детерминизме ..............................II 190

Матерна П.
Понятие понятия..............................II 82

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

Непейвода Н.Н.
Первые шаги к теории неформализуемых понятий .....I 34
Об одной модификации семантических таблиц ...........IV 173
Неполные структуры выводов и их использование .....V 61
О прикладных теориях с суперинтуиционистскими логиками ....................VII 72
О формализации неформализуемого .............................VIII 129
Квазиискусственные объекты ........................................IX 159
Логики и стили программирования ...............................X 134

Орловска Е.
Логические аспекты изучения понятий .........................I 20

Павляк З.
Приближенные множества – основные понятия ...........I 6

Самохвалов К.Ф.
Предикаты существования и “онтологический
аргумент” ..........................................................................VI 276
Logic and the relativity principle ......................................VII 232
К вопросу о природе времени ........................................VIII 168

Сидоренко Е.А.
Слабые следствия и парадоксы следования ..................I 133
Универсальная теорема дедукции ..................................VII 199

Смирнов А.В.
Язык описания логических систем (совм. с Новодворский А.Е.) ..................III 139

Смирнов В.А.
Многомерные логики .................................II 259

Смирнова Е.Д.
Кант и гильбертовская теория доказательств (роль
идеальных образцов у Д. Гильберта и И. Канта) ..........III 5
Природа логического знания и вопросы
обоснования логических систем ....................................VI 7
О загадке контекстов мнения .........................................VIII 199
К вопросу уточнения понятия аналитичности ..............IX 237

Фам Динь Нгьем.
Роль модельных структур в определении логического следования ..................III 72

Федоров Б.И.
Б. Больцано как предшественник конструктивизма .....VII 291
Б. Больцано как предшественник конструктивизма. II. ......................VIII 210

Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией
правдоподобных рассуждений (совм. с Аншаков О.М., Скворцов Д.П.) ...................I 222

Хаханян В.Х.
О допустимости правила Маркова в интуиционистской теории множеств ...........III 174
Функциональные алгебраические модели для неклассической теории множеств ........IV 192
Предикаты реализуемости для теории множеств .........VIII 217

Хорохорин И.И.
Диадические семантики для систем C1 и C3
формальной силлогистики (совм. с Попов В.М.) .........IV 134

Шрамко Я.В.
Обобщенные истинностные значения: решетки и мультирешетки ......IX 264
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments