A new proof of the compactness theorem for propositional logic

DOI10.1305/NDJFL/1093893860zbMath0167.01202OpenAlexW2021653569MaRDI QIDQ2530300

Robert H. Cowen

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

zbMATH Keywords

algebraic logic, model theory

Related Items (3)

A Topological-algebraic Approach to the Compactness Theorem of Classical Logic ⋮ Proofs of the Compactness Theorem ⋮ Some Combinatorial Theorems Equivalent to the Prime Ideal Theorem

This page was built for publication: A new proof of the compactness theorem for propositional logic