Infinite-valued  Lukasiewicz logic and criteria for existence of factor-semantics in multi-valued logics

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

N. N. Prelovsky

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##

Section
Статьи

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.

##plugins.generic.recommendByAuthor.heading##