14537

13115

كارشناسي ارشد

رياضي محض

اصفهان : دانشگاه صنعتي اصفهان

1397

هفت، 68ص. : مصور، جدول،‌ نمودار

فارسي به انگليسي

1398/02/03

كتابنامه

علوم رياضي

رياضي

1398/02/03

2528183

ا 28 Ohnishi M and K Matsumoto Gentzen method in modal calculi I Osaka Mathematical Journal 9 1957 113 130 29 Ohnishi M and K Matsumoto Gentzen method in modal calculi II Osaka Mathematical Journal 11 1959 115 120 30 Poggiolesi F A cut free simple sequent calculus for modal logic S5 Review of Symbolic Logic 1 2008 3 15 31 Poggiolesi F Gentzen Calculi for Modal Propositional Logic Springer 2011 DOI 10 1007 978 90 481 9670 8 32 Pottinger G Uniform cut free formulations of T S4 and S5 abstract Journal of Symbolic Logic 48 1983 33 Restall G Proofnets for S5 Sequents and circuits for modal logic Logic Colloquium 2005 series Lecture Notes in Logic no 28 Cambridge University Press 2007 151 172 34 Sato M A study of Kripke type models for some modal logics by Gentzen s sequential method Publications of the Research Institute for Mathematical Sciences Kyoto University 13 1977 381 468 35 Stouppa P The design of modal proof theories the case of S5 Master Thesis Dresden 2004 36 Takano M Subformula property as a substitute for cut elimination in modal propositional logics Mathematica Japonica 37 6 1992 1129 1145 37 Wansing H Displaying Modal Logics Kluwer Academic Publishers Dordrecht 1999

مجتبي آقايي

احمد كريمي

محسن خاني،‌ مقداد قاري