М.: Наука, 1972. — 296 с.
В сборнике, подводящем итоги исследований по семиотике,
рассматривается, как логико-математические методы применяются в
решении логических и лингвистических проблем, и в теории
информационных языков. Статьи сборника содержат интересный материал
и являются серьёзным вкладом в исследования по кибернетике,
семиотике, логике и структурной лингвистике.
Краткое содержание:
Стоцкий Э.Д. Обобщенные грамматики и их свойства;
Корельская Т.Д., Падучева Е.В О формальном аппарате синтаксических преобразований;
Падучева Е.В. О порождении сложного предложения из простых;
Арапов М.В., Карапетьянц А.В., Малиновская З.М., Пробст М.А Некоторые вопросы дешифровки киданьского письма;
Ланглебен М.М. Опыт построения метаязыка для описания квазилингвистической семиотической системы;
Шрейдер Ю.А. Информация в структурах с отношениями;
Стоколова Н.А. О тенденциях в области разработки информационно-поисковых языков;
Гришин В.Н. О некоторых фрагментах системы Куайна NF;
Есенин-Вольпин А.С. О понятии истины для вполне упорядоченных сильно канторовских множеств;
Шмаин И.Х. О погружении расширенного исчисления предикатов Ко со схемой аксиом свертывания в арифметику;
Фуксон В.И. Об однородном суслинском континууме;
Ермолаева Н.М. О самодвойственной системе аксиом классического исчисления высказываний;
Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1.
Стоцкий Э.Д. Обобщенные грамматики и их свойства;
Корельская Т.Д., Падучева Е.В О формальном аппарате синтаксических преобразований;
Падучева Е.В. О порождении сложного предложения из простых;
Арапов М.В., Карапетьянц А.В., Малиновская З.М., Пробст М.А Некоторые вопросы дешифровки киданьского письма;
Ланглебен М.М. Опыт построения метаязыка для описания квазилингвистической семиотической системы;
Шрейдер Ю.А. Информация в структурах с отношениями;
Стоколова Н.А. О тенденциях в области разработки информационно-поисковых языков;
Гришин В.Н. О некоторых фрагментах системы Куайна NF;
Есенин-Вольпин А.С. О понятии истины для вполне упорядоченных сильно канторовских множеств;
Шмаин И.Х. О погружении расширенного исчисления предикатов Ко со схемой аксиом свертывания в арифметику;
Фуксон В.И. Об однородном суслинском континууме;
Ермолаева Н.М. О самодвойственной системе аксиом классического исчисления высказываний;
Бочвар Д.А., Финн В.К. О многозначных логиках, допускающих формализацию анализа антиномий. 1.