A new proof of the compactness theorem for propositional logic
From MaRDI portal
Publication:2530300
DOI10.1305/ndjfl/1093893860zbMath0167.01202MaRDI QIDQ2530300
Publication date: 1970
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093893860
Related Items
Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem, A Topological-algebraic Approach to the Compactness Theorem of Classical Logic, Proofs of the Compactness Theorem