Publications

Export 111 results:
Sort by: Author Title Type [ Year (Desc)]
2021
Ahmed, T. S., Finite combinatorics and omitting types for multi-moal logic, , 2021.
application/pdf iconlogic_in_africa___tarek.pdf
Ahmed, T. S., Blow up and blur constructions in algebraic logic, , Volume dedicated to Andreka and Nemete's work: Hypercomputation to General Relativity Through Algebraic Logic: Springer, 2021. blowupblur3cshorteste10.pdf
Ahmed, T. S., "Omitting types algebraicaly and more about amalgmation for modal cylindric algebras", Mathematical Logic Quarterly, vol. 67, issue 3, pp. 295-312, 2021.
Ahmed, T. S., "Omitting types for fragments and extensions of first order logic", Bulletin Section of Logic, vol. 50, issue 3, pp. 249-267, 2021. 9884-article_text-25744-2-10-20211028.pdf
Ahmed, T. S., "On complete representations and minimal completions for cylindric like algebras-both positive and negative results", Bulletin section of logic, vol. 1, issue 50, pp. 465-511, 2021. 8145-article_text-26603-1-10-20210720_5.pdf
2020
Ahmed, T. S., "Algebraic Logic and Topoi, a Philosophical Holistic Approach", I.J of Algebra, vol. 12, issue 2, pp. 43-137, 2020. ahmedija1-4-2020-2.pdf
Ahmed, T. S., "Atom canonicity and first order definability in algebras of relation", Studia Scientiarum Mathematicarum Hungarica, vol. 67, issue 3, pp. 1-51, 2020. 4220.pdf
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. atom_canonicity_in_varieties_of_cylindric_algebras_with_applications_to_omitting_types_in_multi_modal_logic_1.pdf
Ahmed, T. S., "A brief history of Tarskian algebraic logic with new perspectives and technical innovations", Bolletino dell Unione Matematica Italiana, vol. 13, pp. 381-416, 2020. 10.1007_s40574-020-00240-x_4.pdf
application/pdf icon10.1007_s40574-020-00240-x_4.pdf
Ahmed, T. S., "Existence of finite relation algebras implies failure of the omitting types theorem", Notre Dame of formal logic, vol. 61, issue 4, pp. pp.503--519, 2020. notre00294527-2020-0022.pdf
Ahmed, T. S., and M. Khaled, "Geometrical representation theorems for cylindric-type algebras", Questiones mathematicea, vol. 43, issue 1, pp. 81-96., 2020.
Ahmed, T. S., "Interpolation and amalgmation in modal cylindric algebras", Questiones mathematicea, vol. 43, issue 9, pp. p.1209-1238, 2020. interpolation_and_amalgamation_in_modal_cylindric_algebras.pdf
Ahmed, T. S., "Non elementary classes of Relation and Cylindric Algebras", I.Journal of Algebra, vol. 14, issue 1, pp. 1-42, 2020. ahmedija1-4-2020.pdf
, Omitting types for modal cylindric algebras and more on amalgamation for such algebras, , in press: Taylor and Francis, 2020.
Ahmed, T. S., "On non finite axiomatizability of n modal logics between K^n and S5^n for finite n\geq 3", JP Journal of algebra, number Theory and applications, vol. 47, issue 1, pp. 99-119, 2020.
2019
Ahmed, T. S., and M. Khaled, "Geometric representability results for cylindric-like algebras by games", Quaestiones Mathematicea on Line, 2019. geometrical-representation-theorems.pdf
Ahmed, T. S., and M. Assem, "On the multi-modal logic of substitutions", Studia Scientiarum Mathematicarum Hungarica, vol. 56, issue 4, pp. 454--481, 2019. t2.pdf
Ahmed, T. S., "Various notions of representability for cylindric and polyadic algebras", Studia Scientiarum Mathematicarum Hungarica, vol. 56, issue 3, pp. 335-363, 2019. elementary2.pdft4.pdf
2017
Ahmed, T. S., "Splitting atoms in algebraic logic in connection to atom-canonicity,first order definability and non-finite axiomatizability", 3rd conference, Logic, Relativity and Beyond, 24 August 2017. budapestfinal.pdf
2016
Ahmed, T. S., "Yet Some More Non-Finite Exiomatizability Results for Algebras of Relations and Ways To Avoid Them", Studia Scientiarum Mathematicarum Hungarica, vol. 53, issue 3, pp. 322-378, 2016. t3.pdf
2015
Ahmed, T. S., "A universal approach to omitting types theorems", @nd conference of Logic and relativity and beyond, 10 August, 2015. ott3.pdf
Ahmed, T. S., "On notions of representability for cylindric and polyadic algebras, and a solution to the finitizability problem for L_{\omega,\omega}", Mathematical Logic Quarterly, vol. 61, pp. 418-477, 2015. Representability2015.pdftarek_2015_representability.pdf
Ahmed, T. S., "Varying Interpolation and Amalgamation in Polyadic MV -Algebras", Journal of Applied Non-Classical Logics, vol. 25, issue 2, pp. 140-192, 2015. MV_ Algebras.pdf
Ahmed, T. S., "Neat Embeddings as adjoint situations", Synthese, vol. 192, issue 5, pp. 2223-2256, 2015. tarek_sayed_ahmed_synthese_2.pdf
Ahmed, T. S., "Splitting Methods in Algebraic Logic", www.renyi.hu/conferences/lrb15/LRB15, 2015. bulletinsh.pdfbulletinshpart2.pdfbudapestfinal.pdf