A formalization of an ℵ0-valued propositional calculus
Alan Rose · Mathematical Proceedings of the Cambridge Philosophical Society · 1953
In 1930 Łukasiewicz (3) developed an ℵ0-valued prepositional calculus with two primitives called implication and negation. The truth-values were all rational numbers satisfying 0 ≤ x ≤ 1, 1 being the designated truth-value. If the truth-values of P, Q, NP, CPQ are x, y, n(x), c(x, y) respectively, then