Einige Hintergrundinformationen: Łukasiewicz-Logiken mit vielen Werten waren als modale Logiken gedacht, und Łukasiewicz gab eine erweiterte Definition des modalen Operators an: (den er Tarski zuschreibt).
Daraus ergibt sich eine seltsame Modallogik, mit etwas paradox, wenn nicht scheinbar absurde Sätze, insbesondere . Ersetzen Sie B durch ¬ A, um zu sehen, warum es in der Geschichte der Modallogik zu einer Fußnote verbannt wurde.
Ich habe jedoch festgestellt, dass es weniger absurd ist, wenn diese Definition eines Möglichkeitsoperators auf lineare Logik und andere untergeordnete Logik angewendet wird. Ich habe zu Beginn des Monats ein informelles Gespräch darüber. Ein Link zum Vortrag befindet sich unter http://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdf
(Einer der Gründe, warum ich nach substrukturellen Modallogiken gefragt habe, war der, die Aussagekraft dieser Logiken mit der Verwendung dieses Operators zu vergleichen.)
Wie auch immer, die einzige unkritische Arbeit, auf die ich Bezug genommen habe, ist ein Vortrag von A. Turquette, "Eine Verallgemeinerung von Tarskis Möglichkeit", auf der Jahreskonferenz der Australasian Association for Logic 1997. Die Zusammenfassung befindet sich in der BSL 4 (4), http://www.math.ucla.edu/~asl/bsl/0404/0404-006.ps. Grundsätzlich schlug Turquette Anwendungen in bewerteten Logiken für m- Zustand-Systeme vor. (Ich konnte keine Notizen, Folien oder sonstigen Inhalte dieses Vortrags erhalten, daher würde ich mich freuen, von jedem zu hören, der weitere Informationen hat.)
Ist hier jemandem bekannt, dass andere Artikel oder Veröffentlichungen zu diesem Thema verfasst wurden?
(Ich habe keine Anwendungen dafür, aber ich finde die Eigenschaften interessant genug, um ein Papier zu verdienen.)