Исследования по неклассическим логикам и формальным системамсборник

Статьи, опубликованные в сборнике

---

• • 1983 Булевы расширения равномерных структур
  • Любецкий Василий Александрович, Гордон Евгений Израилевич
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 82-153
• • 1983 К теории эпсилон-отношений
  • Бочвар Дмитрий Анатольевич
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 3-10
• • 1983 Непротиворечивость одного варианта теории множеств с двумя отношениями принадлежности
  • Кулунков П.А.
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 10-21
• • 1983 О некоторых конструктивизациях пропозициональных логик Д. А. Бочвара и С. Холдена
  • Аншаков Олег Михайлович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 335-359
• • 1983 О некоторых проблемах дескриптивной теории множеств и определимости в теории типов
  • Кановей Владимир Григорьевич
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 21-81
• • 1983 О структуре расширений пропозиционального фрагмента логики Аккермана
  • Скворцов Дмитрий Павлович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 209-221
• 
  • 1983 О счетной аппроксимируемости суперинтуиционистских и модальных логик
  • Шехтман Валентин Борисович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 287-299
• • 1983 О функциональной полноте в модальной логике S5
  • Раца Мефодий Федорович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 222-280
• • 1983 Об алгебраических свойствах структуры классов Поста и их многозначных обобщений
  • Негру Иван Семенович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 300-315
• • 1983 Об интуиционистском исчислении высказываний с дополнительной логической связкой
  • Скворцов Дмитрий Павлович
  • в сборнике Исследования по неклассическим логикам и формальным системам, место издания Наука Москва, с. 154-173