Dr. Tarek Sayed Ahmed
Professor of Mathematics
(email)
Atom canonicity in varieties of cylindrfic algebras with applications tg omitting types in multimodal logic
View
What links here
Citation:
Ahmed, T. S., Atom canonicity in varieties of cylindrfic algebras with applications tg omitting types in multimodal logic, , Journal of applied non classical logics: Taylor and Francis, 2020.
Export
RTF
Tagged
XML
BibTex
Google Scholar
Version:
Journal of applied non classical logics
Preview
Attachment
Size
atom_canonicity_in_varieties_of_cylindric_algebras_with_applications_to_omitting_types_in_multi_modal_logic_1.pdf
3.37 MB
Publications
Bio
Classes
Recent Publications
Omitting types algebraicaly and more about amalgmation for modal cylindric algebras
On complete representations and minimal completions for cylindric like algebras-both positive and negative results
Omitting types for fragments and extensions of first order logic
Finite combinatorics and omitting types for multi-moal logic
Blow up and blur constructions in algebraic logic
more
Tourism