Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication. (Q2595488)

Den Postulaten eines \textit{Boole}schen Ringes mit Einselement fügt Verf. noch zwei weitere Postulate hinzu, welche eine neue Operation \(x^\infty \) charakterisieren. Werden die Elemente \(x\) als Punktmengen aufgefaßt, so kann \(x^\infty \) als die Menge aller inneren Punkte von \(x\) gedeutet werden. Der Möglichkeitsfunktion \(\lozenge\) von \textit{Lewis} entsprechend, setzt er \(\lozenge x=1-(1-x)^\infty \); dann bedeutet \(\lozenge x\) die Vereinigung von \(x\) und ihrer Begrenzung. Er beweist einige einfache Theoreme, darunter diejenigen, welche den \textit{Lewis}schen Postulaten des ``Calculus of strict implication'' entsprechen.