Untersuchung über Unabhängigkeitsbeweise nach der Matrizenmethode. (Q2605688)

In der vorliegenden Abhandlung werden gewisse Typen von Matrizen beschrieben, denen die wertvolle Eigenschaft zukommt, daß für jeden Ausdruck \(\alpha\) des Aussagenkalküls entschieden werden kann, ob \(\alpha\) die fragliche Matrix erfüllt oder nicht. Für jeden der eingeführten Typen wird ferner ein Verfahren angegeben, das für jeden Ausdruck \(\alpha\) festzustellen erlaubt, ob und welche Matrizen des betreffenden Typs diese Aussage erfüllen. Die Voraussetzungen, die der Kalkül dabei erfüllen muß, sind dieselben wie in der vorstehend besprochenen Arbeit des Verf.