Континуальность трехзначных логик: проблемы и гипотезы

##plugins.themes.bootstrap3.article.main##

A.S. Karpenko

Abstract

Functional properties of three-valued logics are considered. Among these logics ones with closed function classes set cardinality that is continuum. The problem of continuity of Bochvar’s three-valued logic is discussed and a hypothesis concerning the citeria of continuity of an arbitrary three-valued logic is proposed.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Аншаков О.М., Рычков С.В. О многозначных логических исчислениях // Семиотика и информатика. 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.