An intuitive interpretation of systems of four-valued logic.
Nicholas Rescher · Notre Dame Journal of Formal Logic · 1965
It is well known that, despite their formalistic usefulness (in proving the independence of axioms, for example), the interpretation of systems of many-valued logic is a matter of considerable difficulty.The aim of the present paper is to present an approach to some of the familiar systems of four-valued logic using a very natural intuitive interpretation of the truthvalue assignments.It would appear on first thought that the most plausible and tempting possibility of interpreting the truth-values of four-valued logic would be somewhat as follows: Truth-value Interpretation I Interpretation II