Infinite-valued Lukasiewicz logic and criteria for existence of factor-semantics in multi-valued logics
Main Article Content
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.
Downloads
Download data is not yet available.
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.