計算機を用いたH.Rasiowaの二値論理公理系の改良について

概要

論文の詳細を見る
In this paper Rasiowa's two valued logic axioms are improved by adding a tautology, where the tautology eliminate extra truth-value tables of three value logic as explained below. We can obtain a set of 96 truth-value tables from Rasiowa's axioms by assuming them to be the three valued logic by the method of indeterminate coefficients by computer. But theoretically, the axiom which consists of implication and disjunction yields 64 sets of truth value tables as the three-valued logic. This means that Rasiowa's two valued logic axiom is included by the three valued logic. It is demonstrated that Rasiowa's axiom can be completed by adding a toutology by which extra truth-value tables of the three valued logic is eliminated.
明治大学の論文