Raheleh Jalali

Raheleh Jalali

Institute of Experimental Medicine - Prague / Czech Republic
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5178223
Institut experimentálního lékařství
person_outline Raheleh Jalali's MOST POPULAR ARTICLES
1-) Universal proof theory: semi-analytic rules and uniform interpolationAA Tabatabai, R JalaliarXiv preprint arXiv:1808.06258, 2018102018
2-) Uniform lyndon interpolation for basic non-normal modal logicsA Akbar Tabatabai, R Iemhoff, R JalaliInternational Workshop on Logic, Language, Information, and Computation, 287-301, 202182021
3-) Proof complexity of substructural logicsR JalaliAnnals of Pure and Applied Logic 172 (7), 102972, 202152021
4-) Universal proof theory: semi-analytic rules and uniform interpolationA Akbar Tabatabai, R JalaliarXiv preprint arXiv:1808.06258, 201852018
5-) Uniform interpolation via nested sequentsI van der Giessen, R Jalali, R KuznetsInternational Workshop on Logic, Language, Information, and Computation, 337-354, 202142021