A Characteristic Model For Some Tabular Many-valued Logics
Abstract
There are numerous arguments in support of the statement for the fundamentality and the key position of the two-valued logic. But, according to us, these are rather arguments in support to another conception, namely for the fundamentality of the two-valued metalanguage. The general conclusion, drawn as a result of the analysis of several interpretations of many-valued logics is that their properties depend on the principles encoded by means of two-valued language. In support of this theory we want to present a characteristic Kripke model for a class of tabular many-valued logics showing the convertion of the many-valued logic structures into twovalued ones. Tabular logic that will be taken into consideration conform to the classical one on the truth and false and have intuitively acceptable properties of the logical connectives