Concerning the Finite Model Property for Propositional Calculi

DOI10.2307/2036061zbMath0165.31001OpenAlexW4230835105MaRDI QIDQ5551429

No author found.

Publication date: 1968

Full work available at URL: https://doi.org/10.2307/2036061

zbMATH Keywords

algebraic logic, model theory

Related Items (1)

Some results concerning finite model separability of propositional calculi

Cites Work

• A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem
• Unnamed Item

This page was built for publication: Concerning the Finite Model Property for Propositional Calculi