Infinite-valued Lukasiewicz logic and criteria for existence of factor-semantics in multi-valued logics
##plugins.themes.bootstrap3.article.sidebar##
Published:
08.05.2014
##plugins.themes.bootstrap3.article.main##
Abstract
A concept of local factor-semantics is introduced while constructing matrices K and K', isomorphic to the standard rational-valued matrix for infinite-valued logic of _ukasiewicz.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Prelovsky N. N. Infinite-valued Lukasiewicz logic and criteria for existence of factor-semantics in multi-valued logics // Logicheskie Issledovaniya / Logical Investigations. 2014. VOL. 20. C. 179-195.
Issue
Section
Papers
References
Карпенко А.С. Развитие многозначной логики. М.: Издательство ЛКИ, 2010.
Карпенко А.С. Логики Лукасевича и простые числа. М.: Наука, 2000.
Karpenko A.S. Factor-Semantics for n-valued Logics // Studia Logica. 42(2/3). 1983. P. 179–185.
Rescher N. Many-Valued Logic. New York: McGraw Hill, 1969.
Карпенко А.С. Логики Лукасевича и простые числа. М.: Наука, 2000.
Karpenko A.S. Factor-Semantics for n-valued Logics // Studia Logica. 42(2/3). 1983. P. 179–185.
Rescher N. Many-Valued Logic. New York: McGraw Hill, 1969.