Chapter IV Completeness
Studies in logic and the foundations of mathematics1963pp. 88–111
Related Papers
- → An analytic completeness theorem for logics with probability quantifiers(1987)5 cited
- → Analytic completeness theorem for singular biprobability models(1993)2 cited
- On the Strong Completeness of the Formal System L(2005)
- Shorter Refutation of Gödel’s Completeness Theorem(2019)
- → The Completeness Theorem(2021)