יצא לאור ספר לכבוד תרומותיו של פרופ' ארנון אברון ללוגיקות לא קלאסיות

בהוצאת שפרינגר

שם הספר- Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

הספר מכיל מאמרים שנכתבו לכבודו של ארנון על ידי חוקרים וחוקרות ידועי שם בתחום, והוא נערך על ידי פרופ' עופר אריאלי וד"ר אנה זמנסקי, שניהם תלמידים לשעבר של ארנון.

 

בטקסט שמתאר את הספר מתוארות גם התרומות של ארנון לתחום:

.This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics 
 

Avron’s foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron’s past and present works

 

ברכות לארנון על הכבוד שחלקו לו תלמידיו ועמיתיו, גברים ונשים וכל הכבוד לעופר ואנה על היוזמה והביצוע!

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות, נא לפנות בהקדם לכתובת שכאן >>
אוניברסיטת תל אביב
P.O. Box 39040, Tel Aviv 6997801