Search

Your search keyword '"Kolman, O."' showing total 1 results
Start Over Author "Kolman, O." Topic propositional logic
1 results on '"Kolman, O."'

1. A Note on Omitting Types in Propositional Logic.

Author

Kolman, O.

Subjects
*FIRST-order logic, *PROPOSITIONAL calculus, *MODEL theory
Abstract

Analogues of the classical omitting types theorems of frst-order logic are proved for propositional logic. For an infnite cardinal κ, a suficient criterion is given for the omission of κ-many types in a propositional language with κ propositional variables. [ABSTRACT FROM AUTHOR]

Published
2015

Catalog

Books, media, physical & digital resources
See catalog results