Континуальность трехзначных логик: проблемы и гипотезы
##plugins.themes.bootstrap3.article.sidebar##
Published:
07.04.2010
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Karpenko A. Континуальность трехзначных логик: проблемы и гипотезы // Logicheskie Issledovaniya / Logical Investigations. 2010. VOL. 16. C. 127-133.
Issue
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.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Автореферат на соискание ученой степени кандидата философских наук. М.: ИФ РАН, 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.