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

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.

شیرمحمدزاده ملکی، فاطمه. "دستگاه استنتاج طبیعی برای برخی منطق‌های زیرشهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 15، 1 ( ): LSJ-2405-1472 (R1).

شیرمحمدزاده ملکی، فاطمه. "معرفی معناشناسی‌های مختلف برای منطق شهودی." منطق‌پژوهی ( علمی پژوهشی وزارتین ) 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

منطق تخصصی, نامشخص, 1381-82

منطق شهودی

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

منطق وجهی

منطق کلاسیک

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