Books on Amazon
|Berka I 144
Def possibility / Tarski: Mp = CNPP - "it is possible that p" means as much as "if not-p, then p" - I 145 Lukasiewicz: "CNPP" is only true if M0 = 0 , M1 / 2 = 1 M1 = 1 according to the trivalent matrix._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983
K. Berka/L. Kreiser
Logik Texte Berlin 1983