On a certain method of producing logical matrices
Abstract
The well-known method of producing logical matrices was presented by Ja´skowski in [1]. A theorem saying that the content of the product of matrices is equal to the intersection of contents of these matrices was given there. The proof of this theorem can be found in [2]. The construction of the product of matrices is simple. Another and simpler method of producing matrices will be given here. Moreover we will prove theorem on the representation of so called quasi-strongly finite consequences by finite matrices