Back to Search Start Over

A Note on Omitting Types in Propositional Logic.

Authors :
Kolman, O.
Source :
Armenian Journal of Mathematics. 2015, Vol. 7 Issue 1, p1-5. 5p.
Publication Year :
2015

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]

Subjects

Subjects :
*FIRST-order logic
*PROPOSITIONAL calculus
*MODEL theory

Details

Language :
English
ISSN :
18291163
Volume :
7
Issue :
1
Database :
Academic Search Index
Journal :
Armenian Journal of Mathematics
Publication Type :
Academic Journal
Accession number :
103147773

Tools

Authors Abstract Subjects Details