Natural Science, Mathematics, 2025
A Note on Omitting Types inPropositional Logic
This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Submitted: 2024-12-18; Published: 2024-12-18
© 2024 by author(s) and The Gufo Inc.
This work is licensed under Creative Commons Attribution–NonCommercial International License
(CC BY-NC 4.0).
Abstract
Analogues of the classical omitting types theoremsof first-order logic are proved for propositional logic. For aninfinite cardinalκ, a sufficient criterion is given for the omissionofκ-many types in a propositional language withκpropositionalvariables.