No CrossRef data available.
A formalization of an ℵ0-valued propositional calculus
Published online by Cambridge University Press: 24 October 2008
Extract
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
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 49 , Issue 3 , July 1953 , pp. 367 - 376
- Copyright
- Copyright © Cambridge Philosophical Society 1953