Логический выводсборник

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

---

• • 1979 S-алгебры для n-значных пропозициональных исчислений Лукасевича
  • Малиновский Г.
  • в сборнике Логический вывод, место издания Наука Москва, с. 50-53
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Алгебраические модели интуиционистских теорий
  • Драгалин Альберт Григорьевич
  • в сборнике Логический вывод, место издания Наука Москва, с. 206-245
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Временная логика фон Вригта
  • Сегерберг Кристер
  • в сборнике Логический вывод, место издания Наука Москва, с. 173-205
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Дедуктивные системы с утончениями
  • Маслов Сергей Юрьевич
  • в сборнике Логический вывод, место издания Наука Москва, с. 128-146
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 К теории модальных и суперинтуиционистских систем
  • Эсакиа Лео Леонидович
  • в сборнике Логический вывод, место издания Наука Москва, с. 147-172
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 К формализации полисиллогистики
  • Закревский Аркадий Дмитриевич
  • в сборнике Логический вывод, место издания Наука Москва, с. 300-309
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Натуральные варианты некоторых систем релевантной логики (К проблеме экспликации понятий логического следования и условной связи)
  • Войшвилло Евгений Казимирович
  • в сборнике Логический вывод, место издания Наука Москва, с. 69-117
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Некоторые валидные расширения релевантных систем
  • Сидоренко Евгений Александрович
  • в сборнике Логический вывод, место издания Наука Москва, с. 118-121
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Некоторые замечания о монадических языках высших ступеней
  • Киселев А.А., Когаловский Сергей Рувимович
  • в сборнике Логический вывод, место издания Наука Москва, с. 274-286
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич
• • 1979 Нормализация натуральных выводов и эффективность классического существования
  • Минц Григорий Ефроимович
  • в сборнике Логический вывод, место издания Наука Москва, с. 246-266
  • редакторы Войшвилло Евгений Казимирович, Драгалин Альберт Григорьевич, Марков Андрей Андреевич, Смирнов Владимир Александрович, Таванец Петр Васильевич