فاطمه شیرمحمدزاده ملکی

Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Neighborhood Semantics for Basic and Intuitionistic Logic." Logic and Logical Philosophy Volume 24, no. Volume 24 (2015): 339-355.

Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Weak Subintuitionistic Logics." Logic Journal of the IGPL ( international ) 25, no. 2 (2016): 214-231.

Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic Logics with Kripke Semantics." Lecture Notes in Computer Science Volume 10148, no. TbiLLC 2015, LNCS (2017): 333-354.

Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Subintuitionistic logics and the implications they prove." Indagationes Mathematicae 29, no. 6 (2018): 1525-1545.

Shirmohammadzadeh Maleki, Fatemeh, and Dick de Jongh. "Two Neighborhood Semantics for Subintuitionistic Logics." Lecture Notes in Computer Science Volume 11456,, no. TbiLLC 2018, LNCS (2019): 64-85.

de Jongh, Dick, and Fatemeh Shirmohammadzadeh Maleki. "Binary Modal Companions for Subintuitionistic Logics." Logic, Epistemology, and the Unity of Science ( Scientific&Research-based ) 49, no. 6 (2021): 35-52.

Shirmohammadzadeh Maleki, Fatemeh, and Morteza Moniri. "Another Neighbourhood Semantics for Intuitionistic Logic." Logic Journal of the IGPL ( international ) doi.org/10.1093/jigpal/jzac069, no. doi.org/10.1093/jigpal/jzac069 (2022): doi.org/10.1093/jigpal/jzac069.

شیرمحمدزاده ملکی، فاطمه. "همتاهای وجهی برای برخی منطق های زیرشهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 12، 2 (1400): 149-173.

شیرمحمدزاده ملکی، فاطمه. "منطق وجهی نرمال دوموضعی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 14، 1 (1402): 1.

شیرمحمدزاده ملکی، فاطمه. "معرفی معناشناسی‌های مختلف برای منطق شهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 11، 1 (1399): 131-150.

Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2017-02-22, Subintuitionistic Logics with Kripke Semantics, 10148, 333-354

Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, 2019-07-03, Two Neighborhood Semantics for Subintuitionistic Logics, 11456, 64-85

---

دهمین همایش سالیانه انجمن منطق ایران، شركت كننده، ایران، تهران، 1401/12/03، 1401/12/04

14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), ارائه سخنرانی, Georgia, Tbilisi, 2023-09-18, 2023-09-22

Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood semantics of Subintuitionistic Logics, 12th International Tbilisi Symposium on Language, Logic, Computation, 2017-09-18, 2017-09-22

Shirmohammadzadeh Maleki Fatemeh, Two Neighborhood Semantics of Subintuitionistic Logics, 13th International Tbilisi Symposium on Language, Logic, Computation, Congress, 2019-09-16, 2019-09-20

Shirmohammadzadeh Maleki Fatemeh, de Jongh Dick, Below Godel-Dommett, SYSMICS 2019, other, 2019-01-21, 2019-01-25

Shirmohammadzadeh Maleki Fatemeh, Neighborhood Semantics for subintuitionistic Logics, Algebra\Coalgebra Seminar of ILLC, 2016-02-24, 2016-02-24

شیرمحمدزاده ملکی فاطمه، همتاهای وجهی برای برخی منطق های زیرشهودی، نشستی تخصصی با عنوان "همتاهای وجهی برای برخی منطق های زیرشهودی"، نشست تخصصی، 1401/09/08، 1401/09/08

Shirmohammadzadeh Maleki Fatemeh, Implicational fragment of some subintuitionistic logics, 14th Tbilisi symposium on logic language and computation (TbiLLc 2023), Congress, 2023-09-18, 2023-09-22

شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Subintuitionistic Logics with Kripke Semantics.Berlin:Springer, Berlin, Heidelberg،1395.

شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Two Neighborhood Semantics for Subintuitionistic Logics.Berlin:Springer, Berlin, Heidelberg،1398.

شیرمحمدزاده ملکی، فاطمه و دیک دیانگ. Binary Modal Companions for Subintuitionistic Logics.:Springer, Cham،1399.

Binary modal logic and Unary Modal Logic, پایان یافته, 2022-07-23

معناشناسی همسایگی دیگری برای منطق شهودی، پایان یافته، 1401/12/29

کارشناسی, ریاضی محض, دانشگاه شهید مدنی آذربایجان, 1386

کارشناسی ارشد, ریاضی محض, دانشگاه شهید بهشتی, 1391

دکتری, منطق ریاضی, دانشگاه شهید بهشتی, 1395

منطق شهودی

منطق‌های زیرشهودی

منطق وجهی

منطق کلاسیک

انگلیسی , سطح نوشتن : متوسط, سطح خواندن : پیشرفته, سطح صحبت‌کردن : متوسط