Title | ||
---|---|---|
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic |
Abstract | ||
---|---|---|
Fix 2 \u003c n \u003c ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var... |
Year | DOI | Venue |
---|---|---|
2020 | 10.1080/11663081.2020.1801967 | J. Appl. Non Class. Logics |
DocType | Volume | Issue |
Journal | 30 | 3 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tarek Sayed Ahmed | 1 | 0 | 0.34 |