MathDB1 problem
- 0 votes0 replies0 views
Łukasiewicz's completeness conjecture for the standard semantics
Let the truth values of Łukasiewicz logic range over the real numbers in the interval , and let a certain Hilbert-style system be the system Łukasiewicz specified for this l…