Export 111 results:
Sort by: Author Title Type [ Year  (Desc)]
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., "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., "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
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.
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
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
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., "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",, 2015. bulletinsh.pdfbulletinshpart2.pdfbudapestfinal.pdf