Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication.
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.
This page was built for publication: Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2595488)
