Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation). (Q2624153)

Es wird ein Axiomensystem des Aussagenkalküls angegeben, in dem statt der gewöhnlichen Implikation eine neue Art von Implikation (analytische Implikation) auftritt. Das Charakteristische der analytischen Implikation ist, daß keine Formel \(\mathfrak A\rightarrow \mathfrak B\) beweisbar ist, welche in \(\mathfrak B\) eine Aussagenvariable enthält, die in \(\mathfrak A\) nicht vorkommt. Nach Ansicht des Verf. soll der Begriff des logischen Folgens die angegebene Eigenschaft haben, da die Konklusion keine anderen Begriffe enthalten kann als die Prämissen.