On Equivalent Truth-Tables of Many-Valued Logics
Jan Kalicki · Proceedings of the Edinburgh Mathematical Society · 1954
Many-valued or non-Aristotelian calculi of propositions (logics) were originally introduced by generalisation of the truth-table method. It was known by the end of the nineteenth century that ordinary “binary” formulae of the calculus of propositions, such as could be verified directly by means of the truth-table: although the terminology and symbolism used were different.