Континуальность трехзначных логик: проблемы и гипотезы
Article Sidebar
Опубликован:
07.04.2010
Ключевые слова:
трехзначные логики, замкнутые классы функций, счётность замкнутых классов, континуальность замкнутых классов
Main Article Content
Аннотация
Рассмотрены функциональные свойства трехзначных логик. Среди этих логик выделяются те, у которых замкнутые классы функций имеют мощность континуума. Обсуждается проблема континуальности трехзначной логики Бочвара и выдвигается гипотеза о критериях континуальности произвольной трехзначной логики.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Карпенко А. Континуальность трехзначных логик: проблемы и гипотезы // Логические исследования / Logical Investigations. 2010. Т. 16. C. 127-133.
Выпуск
Раздел
Статьи
Литература
Аншаков О.М., Рычков С.В. О многозначных логических исчислениях // Семиотика и информатика. 1982. Вып. 19. С. 90-117.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Автореферат на соискание ученой степени кандидата философских наук. М.: ИФ РАН, 2008.
Раца _.Ф. О классе функций трехзначной логики, соответствующем первой матрице Яськовского // Проблемы кибернетики. 1969. Вып. 21. С. 185—214.
Финн В.К. О предполноте класса функций, соответствующего трехзначной логике Я. Лукасевича // Научно-техническая информация. Сер. 2. 1969. Вып. 10. С. 35-38.
Финн В.К. О критерии функциональной полноты для ВЗ // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194-199.
Яблонский С.В. Функциональные построения в k-значной логике // Труды математического института им. В.А. Стеклова. 1958. Т. 51. С. 5-142.
Янов Ю.И., Мучник А.А. О существовании k-значных замкнутых классов, не имеющих конечного базиса // Доклады Академии Наук СССР. 1959. Т. 127. С. 44-46.
Bulatov A., Lau D. and Strauch В. The cardinalities of sublatticies of depth 2 in the latticies of clones on a 3-elementary set. Preprint Universitat Rostock, 1996.
Lau D. Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory. Berlin: Springer-Verlag, 2006.
Post E.L. Two-valued iterative systems // Annals of Mathematical Studies. 1941. Vol. 5. Princeton-London.
Sobocinski B. Axiomatization of a partial system of three-valued calculus of propositions // The Journal of Computing Systems. 1952. Vol. 1. P. 23-55.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Автореферат на соискание ученой степени кандидата философских наук. М.: ИФ РАН, 2008.
Раца _.Ф. О классе функций трехзначной логики, соответствующем первой матрице Яськовского // Проблемы кибернетики. 1969. Вып. 21. С. 185—214.
Финн В.К. О предполноте класса функций, соответствующего трехзначной логике Я. Лукасевича // Научно-техническая информация. Сер. 2. 1969. Вып. 10. С. 35-38.
Финн В.К. О критерии функциональной полноты для ВЗ // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194-199.
Яблонский С.В. Функциональные построения в k-значной логике // Труды математического института им. В.А. Стеклова. 1958. Т. 51. С. 5-142.
Янов Ю.И., Мучник А.А. О существовании k-значных замкнутых классов, не имеющих конечного базиса // Доклады Академии Наук СССР. 1959. Т. 127. С. 44-46.
Bulatov A., Lau D. and Strauch В. The cardinalities of sublatticies of depth 2 in the latticies of clones on a 3-elementary set. Preprint Universitat Rostock, 1996.
Lau D. Function Algebras on Finite Sets: A Basic Course on Many-Valued Logic and Clone Theory. Berlin: Springer-Verlag, 2006.
Post E.L. Two-valued iterative systems // Annals of Mathematical Studies. 1941. Vol. 5. Princeton-London.
Sobocinski B. Axiomatization of a partial system of three-valued calculus of propositions // The Journal of Computing Systems. 1952. Vol. 1. P. 23-55.